Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is smart. Furry things are smart. If Erin is big then Erin is furry.
Erin is rough.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple1) -> rule2))] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]