Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is smart. If Erin is quiet and Erin is nice then Erin is smart. If Erin is nice and Erin is furry then Erin is quiet. If something is furry and smart then it is quiet.
Erin is not kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple2 triple7) -> rule3) OR ((triple4 triple2) -> rule2))] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple5 triple4) -> rule1) OR ((((triple4 triple2) -> rule2) triple4) -> rule1))]