Charlie is rough. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Erin is green. Gary is smart. Quiet people are cold. If someone is blue and not cold then they are not rough.
Dave is not kind.
@0: Charlie is rough.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Erin is green.[(triple6)] Gary is smart.[(triple7)] @1: Dave is cold.[(((triple4) -> rule1))]