Anne is quiet. Charlie is furry. Erin is kind. If Erin is cold and Erin is round then Erin is blue. All cold people are quiet. All furry people are cold. If someone is big then they are cold. All quiet people are kind. Round people are not kind. If Anne is big then Anne is quiet. If Anne is not quiet then Anne is blue.
Erin is not cold.
@0: Anne is quiet.[(triple1)] Charlie is furry.[(triple2)] Erin is kind.[(triple3)] @1: Anne is kind.[(((triple1) -> rule5))] Charlie is cold.[(((triple2) -> rule3))] @2: Charlie is quiet.[(((((triple2) -> rule3)) -> rule2))] @3: Charlie is kind.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))]