Harry is green. Harry is red. Harry is round. If Harry is white and Harry is round then Harry is big. Cold things are green. If something is cold and round then it is white. Big things are red. Red things are cold. If Harry is red and Harry is nice then Harry is green.
Harry is green.
@0: Harry is green.[(triple1 OR ((((triple2) -> rule5)) -> rule2))] Harry is red.[(triple2)] Harry is round.[(triple3)] @1: Harry is cold.[(((triple2) -> rule5))] @2: Harry is white.[(((((triple2) -> rule5) triple3) -> rule3))] @3: Harry is big.[(((((((triple2) -> rule5) triple3) -> rule3) triple3) -> rule1))]