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