Erin is blue. Erin is cold. Erin is green. Erin is rough. Erin is round. Erin is smart. Harry is smart. Smart people are round. All round people are green. If Harry is rough then Harry is cold. All green people are smart. All round, green people are young. All smart people are rough. Young, smart people are round. If someone is rough then they are cold.
Harry is green.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple4) -> rule8) OR ((((triple6) -> rule6)) -> rule8) OR ((((((triple3) -> rule4)) -> rule6)) -> rule8) OR ((((((((triple5) -> rule2)) -> rule4)) -> rule6)) -> rule8))] Erin is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Erin is rough.[(triple4 OR ((triple6) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple5) -> rule2)) -> rule4)) -> rule6))] Erin is round.[(triple5 OR ((triple6) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] Erin is smart.[(triple6 OR ((triple3) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Harry is smart.[(triple7)] @1: Erin is young.[(((triple5 triple3) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((((triple6) -> rule1) triple3) -> rule5) OR ((((triple6) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((triple5 ((((triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) triple3) -> rule5) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule5))] Harry is rough.[(((triple7) -> rule6))] Harry is round.[(((triple7) -> rule1))] @2: Harry is cold.[(((((triple7) -> rule6)) -> rule3) OR ((((triple7) -> rule6)) -> rule8))] Harry is green.[(((((triple7) -> rule1)) -> rule2))] @3: Harry is young.[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule2)) -> rule5))]