Erin is blue. Erin is green. Erin is round. If someone is big and round then they are cold. If someone is blue then they are green. Big people are green. If Erin is blue and Erin is furry then Erin is green. Green, cold people are not quiet. Cold, blue people are not quiet. Cold people are furry. If someone is blue then they are big.
Erin is not round.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2 OR ((triple1) -> rule2) OR ((((triple1) -> rule8)) -> rule3) OR ((triple1 ((((((triple1) -> rule8) triple3) -> rule1)) -> rule7)) -> rule4))] Erin is round.[(triple3)] @1: Erin is big.[(((triple1) -> rule8))] @2: Erin is cold.[(((((triple1) -> rule8) triple3) -> rule1))] @3: Erin is furry.[(((((((triple1) -> rule8) triple3) -> rule1)) -> rule7))] Erin is not quiet.[(((triple2 ((((triple1) -> rule8) triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule8) triple3) -> rule1) triple1) -> rule6) OR ((((triple1) -> rule2) ((((triple1) -> rule8) triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule8)) -> rule3) ((((triple1) -> rule8) triple3) -> rule1)) -> rule5) OR ((((triple1 ((((((triple1) -> rule8) triple3) -> rule1)) -> rule7)) -> rule4) ((((triple1) -> rule8) triple3) -> rule1)) -> rule5))]