Anne is cold. Anne is red. Anne is rough. Anne is not smart. Anne is young. Charlie is cold. Charlie is red. Charlie is smart. Charlie is white. Charlie is not young. Dave is red. Gary is not blue. Gary is red. Gary is rough. Gary is smart. Gary is young. If something is white and red then it is cold. If something is white then it is blue.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is not smart.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple5)] Charlie is cold.[(triple6 OR ((triple9 triple7) -> rule1))] Charlie is not young.[(triple10)] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is red.[(triple11)] Gary is not blue.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Charlie is blue.[(((triple9) -> rule2))]