Gary is not big. Gary is not blue. Gary is furry. Gary is not nice. Gary is red. Gary is smart. Gary is young. If Gary is not furry then Gary is blue. If Gary is big and Gary is nice then Gary is not blue. Smart, nice things are not big. If something is red and not furry then it is big. If Gary is blue then Gary is red. If something is red and young then it is not blue. If something is nice then it is blue. If Gary is blue then Gary is not smart.
Gary is not smart.
@0: Gary is furry.[(triple3)] Gary is not big.[(triple1)] Gary is not blue.[(triple2 OR ((triple5 triple7) -> rule6))] Gary is not nice.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]