[id: qjlezvvhdcljdfnf] line1(what is $glass?) && line2(a $substance?) && line3(yes) => fact($glass is a $substance)