Anne is blue. Anne is cold. Harry is cold. Harry is kind. Harry is rough. Harry is round. Harry is young. If Anne is young then Anne is round. Young things are round. Blue things are big. If something is cold and kind then it is young. If Anne is round and Anne is rough then Anne is cold. Big things are kind.
Harry is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Harry is cold.[(triple3)] Harry is kind.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple7) -> rule2) OR ((((triple3 triple4) -> rule4)) -> rule2))] Harry is young.[(triple7 OR ((triple3 triple4) -> rule4))] @1: Anne is big.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is young.[(((triple2 ((((triple1) -> rule3)) -> rule6)) -> rule4))] @4: Anne is round.[(((((triple2 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule2))]