Erin is blue. Erin is green. Erin is kind. Gary is blue. Gary is furry. Gary is not green. Gary is kind. Gary is red. Gary is rough. Gary is smart. All red things are furry. Smart things are furry. If Erin is red and Erin is furry then Erin is smart. If Gary is kind then Gary is blue. If Gary is rough and Gary is smart then Gary is blue. If Gary is rough and Gary is smart then Gary is furry. All blue things are smart. All red things are kind.
Erin is rough.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Gary is blue.[(triple4 OR ((triple7) -> rule4) OR ((triple9 triple10) -> rule5) OR ((((triple8) -> rule8)) -> rule4))] Gary is furry.[(triple5 OR ((triple10) -> rule2) OR ((triple8) -> rule1) OR ((triple9 triple10) -> rule6) OR ((((triple4) -> rule7)) -> rule2) OR ((triple9 ((triple4) -> rule7)) -> rule6) OR ((((((triple7) -> rule4)) -> rule7)) -> rule2) OR ((triple9 ((((triple7) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple8) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((triple9 ((((((triple8) -> rule8)) -> rule4)) -> rule7)) -> rule6))] Gary is kind.[(triple7 OR ((triple8) -> rule8))] Gary is not green.[(triple6)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10 OR ((triple4) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((triple8) -> rule8)) -> rule4)) -> rule7))] @1: Erin is smart.[(((triple1) -> rule7))] @2: Erin is furry.[(((((triple1) -> rule7)) -> rule2))]