Erin is big. Erin is not furry. Erin is not green. Erin is kind. Erin is nice. Erin is red. Erin is round. If something is furry and not big then it is red. Big, nice things are red.
Erin is furry.
@0: Erin is big.[(triple1)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is not furry.[(triple2)] Erin is not green.[(triple3)] Erin is red.[(triple6 OR ((triple1 triple5) -> rule2))] Erin is round.[(triple7)]