Dave is green. Erin is blue. Gary is not white. Harry is big. If Dave is white and Dave is not furry then Dave is round. If Gary is round and Gary is not green then Gary is furry. Green things are white. If something is white then it is big. If Gary is white then Gary is big. Big, green things are blue. If something is big and not white then it is not smart. If something is white and green then it is smart.
Dave is not blue.
@0: Dave is green.[(triple1)] Erin is blue.[(triple2)] Gary is not white.[(triple3)] Harry is big.[(triple4)] @1: Dave is white.[(((triple1) -> rule3))] @2: Dave is big.[(((((triple1) -> rule3)) -> rule4))] Dave is smart.[(((((triple1) -> rule3) triple1) -> rule8))] @3: Dave is blue.[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule6))]