Erin is blue. Erin is green. Erin is quiet. All green, rough things are round. All quiet, kind things are round. If Erin is blue then Erin is kind. If something is green then it is blue. If Erin is round then Erin is cold. Blue, green things are quiet.
Erin is round.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule4))] Erin is green.[(triple2)] Erin is quiet.[(triple3 OR ((triple1 triple2) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule6))] @1: Erin is kind.[(((triple1) -> rule3) OR ((((triple2) -> rule4)) -> rule3))] @2: Erin is round.[(((triple3 ((triple1) -> rule3)) -> rule2) OR ((((triple1 triple2) -> rule6) ((triple1) -> rule3)) -> rule2) OR ((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) triple2) -> rule6) ((triple1) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) triple2) -> rule6) ((((triple2) -> rule4)) -> rule3)) -> rule2))] @3: Erin is cold.[(((((triple3 ((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1 triple2) -> rule6) ((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1 triple2) -> rule6) ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule4) triple2) -> rule6) ((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule4) triple2) -> rule6) ((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule5))]