Anne is big. Bob is blue. Harry is round. All blue, kind things are green. All big things are round. If something is round then it is kind. If something is kind then it is cold. If Harry is green then Harry is cold. If something is cold then it is big.
Bob is not big.
@0: Anne is big.[(triple1)] Bob is blue.[(triple2)] Harry is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))] Harry is kind.[(((triple3) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule3))] Harry is cold.[(((((triple3) -> rule3)) -> rule4))] @3: Anne is cold.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))] Harry is big.[(((((((triple3) -> rule3)) -> rule4)) -> rule6))]