Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is white. Rough, red things are furry. If something is nice and red then it is white. Nice, white things are red.
Erin is nice.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple4 triple7) -> rule3)) -> rule1))] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5 OR ((triple4 triple7) -> rule3))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple4 triple5) -> rule2))]