Anne is quiet. Bob is big. Bob is green. Gary is cold. Gary is rough. Gary is smart. Harry is smart. If someone is quiet then they are big. All green, quiet people are cold. If someone is green and big then they are quiet. If someone is round and quiet then they are cold. If someone is smart then they are round. Smart, cold people are round. If Anne is quiet and Anne is cold then Anne is smart. Big people are cold. Big, round people are rough.
Gary is green.
@0: Anne is quiet.[(triple1)] Bob is big.[(triple2)] Bob is green.[(triple3)] Gary is cold.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Harry is smart.[(triple7)] @1: Anne is big.[(((triple1) -> rule1))] Bob is cold.[(((triple2) -> rule8) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule2))] Bob is quiet.[(((triple3 triple2) -> rule3))] Gary is round.[(((triple6) -> rule5) OR ((triple6 triple4) -> rule6))] Harry is round.[(((triple7) -> rule5))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule8))] @3: Anne is smart.[(((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7))] @4: Anne is round.[(((((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7) ((((triple1) -> rule1)) -> rule8)) -> rule6))] @5: Anne is rough.[(((((triple1) -> rule1) ((((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7)) -> rule5)) -> rule9) OR ((((triple1) -> rule1) ((((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7) ((((triple1) -> rule1)) -> rule8)) -> rule6)) -> rule9))]