Erin is blue. Erin is furry. Erin is quiet. Kind, quiet things are green. All red, kind things are quiet. All quiet things are blue. Green, blue things are furry. If something is round then it is quiet. All green things are red. All blue things are furry. If Erin is furry then Erin is kind.
Erin is green.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule3))] Erin is furry.[(triple2 OR ((triple1) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] Erin is quiet.[(triple3)] @1: Erin is kind.[(((triple2) -> rule8) OR ((((triple1) -> rule7)) -> rule8) OR ((((((triple3) -> rule3)) -> rule7)) -> rule8))] @2: Erin is green.[(((((triple2) -> rule8) triple3) -> rule1) OR ((((((triple1) -> rule7)) -> rule8) triple3) -> rule1) OR ((((((((triple3) -> rule3)) -> rule7)) -> rule8) triple3) -> rule1))] @3: Erin is red.[(((((((triple2) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule7)) -> rule8) triple3) -> rule1)) -> rule6))]