Anne is not furry. Charlie is furry. Dave is nice. Erin is round. If Erin is rough then Erin is smart. If someone is cold and furry then they are round. All furry people are not round. If someone is round and quiet then they are cold. Cold, rough people are not furry. If Dave is nice then Dave is cold. If someone is nice then they are quiet. All round people are nice.
Erin is not quiet.
@0: Anne is not furry.[(triple1)] Charlie is furry.[(triple2)] Dave is nice.[(triple3)] Erin is round.[(triple4)] @1: Charlie is not round.[(((triple2) -> rule3))] Dave is cold.[(((triple3) -> rule6))] Dave is quiet.[(((triple3) -> rule7))] Erin is nice.[(((triple4) -> rule8))] @2: Erin is quiet.[(((((triple4) -> rule8)) -> rule7))] @3: Erin is cold.[(((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule4))]