Anne is smart. Charlie is not green. Dave is red. Erin is quiet. If something is cold then it is green. If something is smart and not round then it is green. If Dave is green and Dave is not rough then Dave is smart. If something is red then it is cold. Quiet things are red. If Erin is not smart then Erin is red.
Dave is not red.
@0: Anne is smart.[(triple1)] Charlie is not green.[(triple2)] Dave is red.[(triple3)] Erin is quiet.[(triple4)] @1: Dave is cold.[(((triple3) -> rule4))] Erin is red.[(((triple4) -> rule5))] @2: Dave is green.[(((((triple3) -> rule4)) -> rule1))] Erin is cold.[(((((triple4) -> rule5)) -> rule4))] @3: Erin is green.[(((((((triple4) -> rule5)) -> rule4)) -> rule1))]