Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. If Gary is smart and Gary is furry then Gary is big. If something is furry and quiet then it is smart. If Gary is furry and Gary is red then Gary is quiet. All quiet, rough things are furry. Quiet things are furry. If Gary is quiet and Gary is smart then Gary is rough.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple3) -> rule5)) -> rule1) OR ((triple6 ((triple3 triple5) -> rule4)) -> rule1) OR ((((triple2 triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((triple6 ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1))] Gary is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple6) -> rule6)) -> rule4))] Gary is quiet.[(triple3 OR ((triple2 triple4) -> rule3))] Gary is red.[(triple4)] Gary is rough.[(triple5 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) triple6) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 triple3) -> rule2)) -> rule6) OR ((triple3 ((triple2 ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule5) triple3) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple3) -> rule5) triple3) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2)) -> rule6))] Gary is smart.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple4) -> rule3)) -> rule2) OR ((((triple3) -> rule5) triple3) -> rule2) OR ((((triple3 triple5) -> rule4) triple3) -> rule2) OR ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2))] Gary is young.[(triple7)]