Dave is green. Erin is nice. Gary is nice. Harry is big. Green things are red. If something is green and kind then it is furry. All furry things are nice. If Harry is green and Harry is white then Harry is big. Green, red things are nice. All big, green things are furry. If Gary is white then Gary is red. If something is red and kind then it is nice.
Erin is white.
@0: Dave is green.[(triple1)] Erin is nice.[(triple2)] Gary is nice.[(triple3)] Harry is big.[(triple4)] @1: Dave is red.[(((triple1) -> rule1))] @2: Dave is nice.[(((triple1 ((triple1) -> rule1)) -> rule5))]