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