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