Dave is not rough. Gary is kind. Harry is round. All kind things are blue. If Gary is blue then Gary is not nice. If something is nice then it is kind. White things are cold. If Gary is kind and Gary is not nice then Gary is white. All nice, cold things are round.
Gary is not white.
@0: Dave is not rough.[(triple1)] Gary is kind.[(triple2)] Harry is round.[(triple3)] @1: Gary is blue.[(((triple2) -> rule1))] @2: Gary is not nice.[(((((triple2) -> rule1)) -> rule2))] @3: Gary is white.[(((triple2 ((((triple2) -> rule1)) -> rule2)) -> rule5))] @4: Gary is cold.[(((((triple2 ((((triple2) -> rule1)) -> rule2)) -> rule5)) -> rule4))]