Anne is red. Harry is blue. Harry is red. If Anne is not red then Anne is big. If Harry is smart then Harry is white. All white people are young. Blue people are smart. Smart people are big. If Harry is not smart then Harry is big.
Harry is smart.
@0: Anne is red.[(triple1)] Harry is blue.[(triple2)] Harry is red.[(triple3)] @1: Harry is smart.[(((triple2) -> rule4))] @2: Harry is big.[(((((triple2) -> rule4)) -> rule5))] Harry is white.[(((((triple2) -> rule4)) -> rule2))] @3: Harry is young.[(((((((triple2) -> rule4)) -> rule2)) -> rule3))]