Dave is nice. Gary is red. Harry is round. Red things are nice. All red, green things are not nice. All big things are round. If something is young then it is round. All young things are not red. If something is nice then it is big.
Gary is not round.
@0: Dave is nice.[(triple1)] Gary is red.[(triple2)] Harry is round.[(triple3)] @1: Dave is big.[(((triple1) -> rule6))] Gary is nice.[(((triple2) -> rule1))] @2: Dave is round.[(((((triple1) -> rule6)) -> rule3))] Gary is big.[(((((triple2) -> rule1)) -> rule6))] @3: Gary is round.[(((((((triple2) -> rule1)) -> rule6)) -> rule3))]