Erin is blue. Erin is white. Erin is young. If something is round and blue then it is cold. All cold, blue things are green. Big, white things are young. Cold, white things are green. If Erin is blue then Erin is big. If Erin is white then Erin is round.
Erin is young.
@0: Erin is blue.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3 OR ((((triple1) -> rule5) triple2) -> rule3))] @1: Erin is big.[(((triple1) -> rule5))] Erin is round.[(((triple2) -> rule6))] @2: Erin is cold.[(((((triple2) -> rule6) triple1) -> rule1))] @3: Erin is green.[(((((((triple2) -> rule6) triple1) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule6) triple1) -> rule1) triple2) -> rule4))]