Erin is big. Erin is furry. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. If something is red then it is round. Round, red things are big.
Erin is not furry.
@0: Erin is big.[(triple1 OR ((triple5 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2))] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)]