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