Bob is nice. Dave is young. Gary is nice. Harry is round. Blue things are nice. If something is blue and round then it is nice. If something is round then it is furry. If something is nice and furry then it is rough. Round, rough things are blue. Furry things are nice. If Bob is rough then Bob is round. All nice, green things are blue.
Harry is not nice.
@0: Bob is nice.[(triple1)] Dave is young.[(triple2)] Gary is nice.[(triple3)] Harry is round.[(triple4)] @1: Harry is furry.[(((triple4) -> rule3))] @2: Harry is nice.[(((((triple4) -> rule3)) -> rule6))] @3: Harry is rough.[(((((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule4))] @4: Harry is blue.[(((triple4 ((((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule4)) -> rule5))]