Anne is cold. Anne is smart. Charlie is not red. Dave is red. Erin is not cold. Erin is red. Erin is not rough. Red things are smart.
Erin is red.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Charlie is not red.[(triple3)] Dave is red.[(triple4)] Erin is not cold.[(triple5)] Erin is not rough.[(triple7)] Erin is red.[(triple6)] @1: Dave is smart.[(((triple4) -> rule1))] Erin is smart.[(((triple6) -> rule1))]