Harry is green. Harry is red. Harry is white. All smart things are furry. Furry things are nice. Green, nice things are big. Red things are smart. Nice, white things are furry. All big things are smart.
Harry is not green.
@0: Harry is green.[(triple1)] Harry is red.[(triple2)] Harry is white.[(triple3)] @1: Harry is smart.[(((triple2) -> rule4))] @2: Harry is furry.[(((((triple2) -> rule4)) -> rule1))] @3: Harry is nice.[(((((((triple2) -> rule4)) -> rule1)) -> rule2))] @4: Harry is big.[(((triple1 ((((((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule3))]