Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is young. If Erin is green then Erin is smart. If something is big and not kind then it is young. If something is kind and not green then it is young. All young things are furry. Smart, big things are quiet. Quiet things are smart. If something is quiet and not big then it is smart. If something is quiet and not young then it is smart.
Erin is not furry.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple7) -> rule4))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple6 triple1) -> rule5) OR ((((triple3) -> rule1) triple1) -> rule5))] Erin is smart.[(triple6 OR ((triple3) -> rule1) OR ((triple5) -> rule6))] Erin is young.[(triple7)]