Anne is big. Anne is cold. Anne is rough. Anne is smart. Charlie is big. Charlie is cold. Charlie is not red. Charlie is rough. Charlie is smart. Dave is big. Dave is cold. Dave is red. If Anne is not blue then Anne is big. If something is big and not rough then it is cold. All blue, rough things are smart.
Dave is rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is not red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Dave is big.[(triple10)] Dave is cold.[(triple11)] Dave is red.[(triple12)]