Erin is blue. Erin is green. Erin is red. All red people are big. Big, smart people are nice. Furry, blue people are green. All red people are smart. Smart people are blue. All blue people are nice. If Erin is nice then Erin is blue. If Erin is green then Erin is furry.
Erin is not blue.
@0: Erin is blue.[(triple1 OR ((((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule1) ((triple3) -> rule4)) -> rule2)) -> rule7))] Erin is green.[(triple2)] Erin is red.[(triple3)] @1: Erin is big.[(((triple3) -> rule1))] Erin is furry.[(((triple2) -> rule8))] Erin is nice.[(((triple1) -> rule6) OR ((((triple3) -> rule1) ((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4)) -> rule5)) -> rule6))] Erin is smart.[(((triple3) -> rule4))]