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