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