Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is kind. Gary is round. Gary is white. If something is white then it is furry. All furry things are round. All kind things are furry. If something is furry then it is rough. If something is round and rough then it is smart. If Gary is furry then Gary is kind.
Gary is round.
@0: Erin is furry.[(triple1 OR ((triple2) -> rule3) OR ((triple7) -> rule1))] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4 OR ((triple1) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Erin is round.[(triple5 OR ((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Erin is smart.[(triple6 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((triple5 ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((((triple7) -> rule1)) -> rule4)) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) triple4) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) triple4) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((triple1) -> rule2) ((((triple7) -> rule1)) -> rule4)) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) ((((triple7) -> rule1)) -> rule4)) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) ((((triple7) -> rule1)) -> rule4)) -> rule5))] Erin is white.[(triple7)] Gary is kind.[(triple8 OR ((((triple10) -> rule1)) -> rule6))] Gary is round.[(triple9 OR ((((triple10) -> rule1)) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Gary is white.[(triple10)] @1: Gary is furry.[(((triple10) -> rule1) OR ((triple8) -> rule3))] @2: Gary is rough.[(((((triple10) -> rule1)) -> rule4) OR ((((triple8) -> rule3)) -> rule4))] @3: Gary is smart.[(((triple9 ((((triple10) -> rule1)) -> rule4)) -> rule5) OR ((triple9 ((((triple8) -> rule3)) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule2) ((((triple8) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule3)) -> rule2) ((((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple8) -> rule3)) -> rule2) ((((triple8) -> rule3)) -> rule4)) -> rule5))]