Anne is not smart. Erin is quiet. Erin is round. Quiet people are rough. Quiet people are rough. If Erin is round then Erin is cold. If someone is smart and furry then they are young. If someone is quiet and smart then they are furry. If someone is furry and not cold then they are smart. Furry, quiet people are smart. All cold, rough people are smart.
Erin is smart.
@0: Anne is not smart.[(triple1)] Erin is quiet.[(triple2)] Erin is round.[(triple3)] @1: Erin is cold.[(((triple3) -> rule3))] Erin is rough.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Erin is smart.[(((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8) OR ((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8))] @3: Erin is furry.[(((triple2 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8)) -> rule5) OR ((triple2 ((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8)) -> rule5))] @4: Erin is young.[(((((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8) ((triple2 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8)) -> rule5)) -> rule4) OR ((((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8) ((triple2 ((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8)) -> rule5)) -> rule4) OR ((((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8) ((triple2 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule8)) -> rule5)) -> rule4) OR ((((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8) ((triple2 ((((triple3) -> rule3) ((triple2) -> rule2)) -> rule8)) -> rule5)) -> rule4))]