Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. All furry, white people are young. If someone is white and nice then they are big. If someone is quiet and furry then they are big. If Gary is quiet then Gary is furry. Young people are furry. If someone is furry and young then they are quiet.
Gary is not big.
@0: Gary is big.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple6 triple3) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule3) OR ((triple4 ((triple7) -> rule5)) -> rule3) OR ((((triple2 triple7) -> rule6) triple2) -> rule3) OR ((((triple2 triple7) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple2 triple7) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((triple2 ((triple2 triple6) -> rule1)) -> rule6) triple2) -> rule3) OR ((((((triple7) -> rule5) triple7) -> rule6) triple2) -> rule3) OR ((((triple2 ((triple2 triple6) -> rule1)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple2 ((triple2 triple6) -> rule1)) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((((triple7) -> rule5) triple7) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) triple7) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((((triple7) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) triple2) -> rule3) OR ((((((triple7) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) ((triple7) -> rule5)) -> rule3))] Gary is furry.[(triple2 OR ((triple4) -> rule4) OR ((triple7) -> rule5))] Gary is nice.[(triple3)] Gary is quiet.[(triple4 OR ((triple2 triple7) -> rule6) OR ((triple2 ((triple2 triple6) -> rule1)) -> rule6) OR ((((triple7) -> rule5) triple7) -> rule6) OR ((((triple7) -> rule5) ((triple2 triple6) -> rule1)) -> rule6))] Gary is red.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple2 triple6) -> rule1) OR ((((triple4) -> rule4) triple6) -> rule1))]