Anne is red. Bob is red. Bob is rough. Charlie is green. Harry is cold. Harry is green. Harry is round. If Harry is cold and Harry is round then Harry is smart. Rough, red things are cold. If something is round then it is big. All red things are big. All round things are green. If something is cold and red then it is rough. If something is smart and green then it is big. If something is smart then it is big.
Harry is cold.
@0: Anne is red.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Charlie is green.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6 OR ((triple7) -> rule5))] Harry is round.[(triple7)] @1: Anne is big.[(((triple1) -> rule4))] Bob is big.[(((triple2) -> rule4))] Bob is cold.[(((triple3 triple2) -> rule2))] Harry is big.[(((triple7) -> rule3) OR ((((triple5 triple7) -> rule1)) -> rule8) OR ((((triple5 triple7) -> rule1) triple6) -> rule7) OR ((((triple5 triple7) -> rule1) ((triple7) -> rule5)) -> rule7))] Harry is smart.[(((triple5 triple7) -> rule1))]