Charlie is blue. Charlie is red. Charlie is rough. Dave is red. Dave is rough. Dave is round. Dave is not smart. If Charlie is round then Charlie is red. If Dave is not blue and Dave is not white then Dave is rough. If something is cold and not round then it is red. If something is rough and not blue then it is cold. All white things are smart. If Charlie is rough then Charlie is not white.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Dave is not smart.[(triple7)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] @1: Charlie is not white.[(((triple3) -> rule6))]