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