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