Anne is red. Dave is not furry. Erin is quiet. If something is round then it is not furry. All round things are not kind. All quiet things are kind. If something is kind and not quiet then it is nice. If something is red then it is not blue. All kind things are red. If Dave is red and Dave is not quiet then Dave is blue. Blue, kind things are round.
Erin is not red.
@0: Anne is red.[(triple1)] Dave is not furry.[(triple2)] Erin is quiet.[(triple3)] @1: Anne is not blue.[(((triple1) -> rule5))] Erin is kind.[(((triple3) -> rule3))] @2: Erin is red.[(((((triple3) -> rule3)) -> rule6))] @3: Erin is not blue.[(((((((triple3) -> rule3)) -> rule6)) -> rule5))]