Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is round. Erin is smart. Erin is young. If something is round then it is green. If Erin is smart and Erin is furry then Erin is round. All green things are smart.
Erin is furry.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple5) -> rule1) OR ((((triple6 triple2) -> rule2)) -> rule1))] Erin is nice.[(triple4)] Erin is round.[(triple5 OR ((triple6 triple2) -> rule2) OR ((((triple3) -> rule3) triple2) -> rule2))] Erin is smart.[(triple6 OR ((triple3) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Erin is young.[(triple7)]