Anne is blue. Anne is green. Anne is kind. Anne is rough. Anne is smart. Erin is blue. Erin is green. If Erin is rough and Erin is green then Erin is smart. If something is blue and rough then it is green. If Anne is young then Anne is green. If Erin is blue then Erin is round. If Anne is young then Anne is round. All blue things are round. Kind, young things are green. All green, round things are rough.
Erin is rough.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple4) -> rule2))] Anne is kind.[(triple3)] Anne is rough.[(triple4 OR ((triple2 ((triple1) -> rule6)) -> rule8))] Anne is smart.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] @1: Anne is round.[(((triple1) -> rule6))] Erin is round.[(((triple6) -> rule4) OR ((triple6) -> rule6))] @2: Erin is rough.[(((triple7 ((triple6) -> rule4)) -> rule8) OR ((triple7 ((triple6) -> rule6)) -> rule8))] @3: Erin is smart.[(((((triple7 ((triple6) -> rule4)) -> rule8) triple7) -> rule1) OR ((((triple7 ((triple6) -> rule6)) -> rule8) triple7) -> rule1))]