Dave is cold. Erin is white. Gary is nice. Harry is nice. If Dave is red and Dave is nice then Dave is round. If something is furry then it is white. All nice things are furry. If Gary is red then Gary is young. All red things are furry. If something is young then it is nice.
Harry is not nice.
@0: Dave is cold.[(triple1)] Erin is white.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Gary is furry.[(((triple3) -> rule3))] Harry is furry.[(((triple4) -> rule3))] @2: Gary is white.[(((((triple3) -> rule3)) -> rule2))] Harry is white.[(((((triple4) -> rule3)) -> rule2))]