Anne is red. Bob is nice. Gary is big. Harry is red. Nice things are green. If Bob is nice and Bob is furry then Bob is blue. If something is green and nice then it is big. If something is furry and nice then it is red. Red, green things are smart. If Bob is red and Bob is smart then Bob is green.
Bob is not big.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Gary is big.[(triple3)] Harry is red.[(triple4)] @1: Bob is green.[(((triple2) -> rule1))] @2: Bob is big.[(((((triple2) -> rule1) triple2) -> rule3))]