Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. Cold people are kind. If someone is smart then they are kind. If someone is cold then they are smart.
Gary is smart.
@0: Gary is cold.[(triple1)] Gary is kind.[(triple2 OR ((triple1) -> rule1) OR ((triple6) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple1) -> rule3))] Gary is white.[(triple7)]