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