Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. Young things are nice. All green, rough things are furry. If Erin is furry and Erin is white then Erin is young.
Erin is nice.
@0: Erin is furry.[(triple1 OR ((triple2 triple5) -> rule2))] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple7) -> rule1) OR ((((triple1 triple6) -> rule3)) -> rule1) OR ((((((triple2 triple5) -> rule2) triple6) -> rule3)) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple1 triple6) -> rule3) OR ((((triple2 triple5) -> rule2) triple6) -> rule3))]