Anne is cold. Dave is red. Erin is blue. If something is cold and round then it is smart. All blue things are red. Cold things are round. If something is smart and quiet then it is round. All red things are kind. If something is red then it is cold.
Erin is not cold.
@0: Anne is cold.[(triple1)] Dave is red.[(triple2)] Erin is blue.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))] Dave is cold.[(((triple2) -> rule6))] Dave is kind.[(((triple2) -> rule5))] Erin is red.[(((triple3) -> rule2))] @2: Anne is smart.[(((triple1 ((triple1) -> rule3)) -> rule1))] Dave is round.[(((((triple2) -> rule6)) -> rule3))] Erin is cold.[(((((triple3) -> rule2)) -> rule6))] Erin is kind.[(((((triple3) -> rule2)) -> rule5))] @3: Dave is smart.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule1))] Erin is round.[(((((((triple3) -> rule2)) -> rule6)) -> rule3))] @4: Erin is smart.[(((((((triple3) -> rule2)) -> rule6) ((((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1))]