Erin is big. Erin is furry. Erin is nice. Erin is red. Erin is round. Erin is white. Erin is young. Furry things are young. All round things are young. Furry things are young. Nice things are furry. All young, round things are nice. If something is furry then it is white.
Erin is young.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule4) OR ((((triple7 triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule2) triple5) -> rule5)) -> rule4))] Erin is nice.[(triple3 OR ((triple7 triple5) -> rule5) OR ((((triple2) -> rule1) triple5) -> rule5) OR ((((triple2) -> rule3) triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5))] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple7 triple5) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule2) triple5) -> rule5)) -> rule4)) -> rule6))] Erin is young.[(triple7 OR ((triple2) -> rule1) OR ((triple2) -> rule3) OR ((triple5) -> rule2) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule3))]