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