Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is not quiet. Gary is not red. Gary is not rough. If Gary is quiet and Gary is furry then Gary is rough. If Gary is quiet and Gary is furry then Gary is rough. If something is nice then it is furry. Quiet things are red. If Gary is cold and Gary is furry then Gary is not quiet. If Gary is red and Gary is furry then Gary is quiet. If Gary is nice and Gary is red then Gary is big. If something is quiet and not red then it is big.
Gary is not furry.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple4) -> rule3))] Gary is nice.[(triple4)] Gary is not quiet.[(triple5 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple4) -> rule3)) -> rule5))] Gary is not red.[(triple6)] Gary is not rough.[(triple7)]