Erin is big. Erin is furry. Erin is kind. Erin is not nice. Erin is quiet. Erin is not round. Erin is young. If Erin is quiet and Erin is round then Erin is nice. If something is round and not quiet then it is kind. All furry things are not round. If Erin is furry and Erin is kind then Erin is young. Furry things are big. If something is big and not kind then it is young.
Erin is not kind.
@0: Erin is big.[(triple1 OR ((triple2) -> rule5))] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is not nice.[(triple4)] Erin is not round.[(triple6 OR ((triple2) -> rule3))] Erin is quiet.[(triple5)] Erin is young.[(triple7 OR ((triple2 triple3) -> rule4))]