Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is not rough. Erin is round. If Erin is green and Erin is rough then Erin is not furry. If Erin is round and Erin is nice then Erin is big.
Erin is furry.
@0: Erin is big.[(triple1 OR ((triple7 triple5) -> rule2))] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not rough.[(triple6)] Erin is round.[(triple7)]