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