Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Big people are furry. All furry, blue people are red.
Erin is not nice.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple1) -> rule1))] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7 OR ((triple3 triple2) -> rule2) OR ((((triple1) -> rule1) triple2) -> rule2))]