Anne is cold. Charlie is not cold. Charlie is green. Charlie is nice. Charlie is not white. Dave is nice. Dave is quiet. All quiet, nice people are not cold. White people are cold. Quiet, rough people are nice. All rough, quiet people are not nice. If Dave is kind and Dave is rough then Dave is nice. If someone is white then they are quiet.
Dave is green.
@0: Anne is cold.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not cold.[(triple2)] Charlie is not white.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] @1: Dave is not cold.[(((triple7 triple6) -> rule1))]