Anne is cold. Anne is rough. Anne is smart. Erin is smart. Fiona is cold. Fiona is round. Harry is cold. If someone is cold then they are young. Cold people are young. If someone is round then they are rough. If someone is rough and young then they are furry. If someone is young then they are round. Rough people are green. If someone is round and young then they are cold. If someone is furry then they are smart.
Erin is rough.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2 OR ((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3))] Anne is smart.[(triple3 OR ((((triple2 ((triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule1)) -> rule5)) -> rule3) ((triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule1)) -> rule5)) -> rule3) ((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1) -> rule2)) -> rule4)) -> rule8))] Erin is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is round.[(triple6 OR ((((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Harry is cold.[(triple7)] @1: Anne is green.[(((triple2) -> rule6) OR ((((((((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6))] Anne is young.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Fiona is rough.[(((triple6) -> rule3) OR ((((((triple5) -> rule1)) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule5)) -> rule3))] Fiona is young.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Harry is young.[(((triple7) -> rule1) OR ((triple7) -> rule2))] @2: Anne is furry.[(((triple2 ((triple1) -> rule1)) -> rule4) OR ((triple2 ((triple1) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1)) -> rule5)) -> rule3) ((triple1) -> rule1)) -> rule4) OR ((((((((triple1) -> rule1)) -> rule5)) -> rule3) ((triple1) -> rule2)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1) -> rule1)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1) -> rule2)) -> rule4))] Anne is round.[(((((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Fiona is furry.[(((((triple6) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((triple6) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule3) ((triple5) -> rule2)) -> rule4))] Fiona is green.[(((((triple6) -> rule3)) -> rule6) OR ((((((((triple5) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule3)) -> rule6))] Harry is round.[(((((triple7) -> rule1)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] @3: Fiona is smart.[(((((((triple6) -> rule3) ((triple5) -> rule1)) -> rule4)) -> rule8) OR ((((((triple6) -> rule3) ((triple5) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule5)) -> rule3) ((triple5) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule5)) -> rule3) ((triple5) -> rule2)) -> rule4)) -> rule8))] Harry is rough.[(((((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7) -> rule2)) -> rule5)) -> rule3))] @4: Harry is furry.[(((((((((triple7) -> rule1)) -> rule5)) -> rule3) ((triple7) -> rule1)) -> rule4) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule3) ((triple7) -> rule1)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule4))] Harry is green.[(((((((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule3)) -> rule6))] @5: Harry is smart.[(((((((((((triple7) -> rule1)) -> rule5)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple7) -> rule1)) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule5)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule4)) -> rule8))]