Gary is big. Gary is blue. Gary is cold. Gary is not furry. Gary is not rough. Gary is smart. Gary is not young. Young people are smart. Big people are smart. All big, smart people are not young. All young, big people are not cold. If someone is young and cold then they are blue. If Gary is big and Gary is smart then Gary is cold. If someone is smart and not big then they are furry. If someone is cold and not blue then they are furry.
Gary is not blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple1 triple6) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule6))] Gary is not furry.[(triple4)] Gary is not rough.[(triple5)] Gary is not young.[(triple7 OR ((triple1 triple6) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule3))] Gary is smart.[(triple6 OR ((triple1) -> rule2))]