Dave is kind. Gary is red. Gary is rough. All nice things are big. If Gary is nice then Gary is rough. Red things are nice. If something is nice and not red then it is cold. All big things are kind. If Gary is not round and Gary is not big then Gary is cold.
Dave is not big.
@0: Dave is kind.[(triple1)] Gary is red.[(triple2)] Gary is rough.[(triple3 OR ((((triple2) -> rule3)) -> rule2))] @1: Gary is nice.[(((triple2) -> rule3))] @2: Gary is big.[(((((triple2) -> rule3)) -> rule1))] @3: Gary is kind.[(((((((triple2) -> rule3)) -> rule1)) -> rule5))]