Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is not quiet. Gary is rough. Gary is white. If Gary is cold and Gary is not rough then Gary is furry. If Gary is furry and Gary is cold then Gary is green. If someone is big then they are white.
Gary is not cold.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((triple3 triple2) -> rule2))] Gary is not quiet.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple1) -> rule3))]