Charlie is not blue. Charlie is cold. Charlie is rough. Dave is cold. Dave is green. Dave is rough. Gary is blue. Gary is cold. Gary is not rough. Gary is white. If Charlie is cold and Charlie is red then Charlie is white. Red things are not rough. If something is smart and not red then it is not green. White, rough things are green. Cold things are white. If something is green and white then it is smart.
Charlie is not green.
@0: Charlie is cold.[(triple2)] Charlie is not blue.[(triple1)] Charlie is rough.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5 OR ((((triple4) -> rule5) triple6) -> rule4))] Dave is rough.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is not rough.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule5))] @1: Charlie is white.[(((triple2) -> rule5))] Dave is white.[(((triple4) -> rule5))] @2: Charlie is green.[(((((triple2) -> rule5) triple3) -> rule4))] Dave is smart.[(((triple5 ((triple4) -> rule5)) -> rule6) OR ((((((triple4) -> rule5) triple6) -> rule4) ((triple4) -> rule5)) -> rule6))] @3: Charlie is smart.[(((((((triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule5)) -> rule6))]