Gary is cold. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. All white things are young. All nice, kind things are smart. Cold things are kind. If something is white then it is smart. If Gary is nice and Gary is young then Gary is smart. All young, white things are smart.
Gary is not young.
@0: Gary is cold.[(triple1)] Gary is kind.[(triple2 OR ((triple1) -> rule3))] Gary is nice.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5 OR ((triple6) -> rule4) OR ((triple3 triple2) -> rule2) OR ((triple3 triple7) -> rule5) OR ((triple7 triple6) -> rule6) OR ((triple3 ((triple1) -> rule3)) -> rule2) OR ((triple3 ((triple6) -> rule1)) -> rule5) OR ((((triple6) -> rule1) triple6) -> rule6))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule1))]