Dave is cold. Dave is red. Dave is smart. Gary is nice. Gary is red. Gary is smart. Gary is white. Smart things are white. If something is white and rough then it is smart. All red things are young. All red things are young. All rough, young things are smart. All nice, young things are white.
Gary is not rough.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule1) OR ((triple4 ((triple5) -> rule3)) -> rule6) OR ((triple4 ((triple5) -> rule4)) -> rule6))] @1: Dave is white.[(((triple3) -> rule1))] Dave is young.[(((triple2) -> rule3) OR ((triple2) -> rule4))] Gary is young.[(((triple5) -> rule3) OR ((triple5) -> rule4))]