Charlie is round. Dave is cold. Dave is red. Dave is not young. Erin is not cold. Erin is smart. Erin is young. Young things are not red. If something is nice and red then it is green.
Dave is not red.
@0: Charlie is round.[(triple1)] Dave is cold.[(triple2)] Dave is not young.[(triple4)] Dave is red.[(triple3)] Erin is not cold.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] @1: Erin is not red.[(((triple7) -> rule1))]