Anne is red. Anne is rough. Anne is smart. Anne is white. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is blue. Dave is red. Dave is smart. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is smart. All blue, big people are rough. If someone is big and rough then they are smart. If someone is big and smart then they are rough.
Charlie is not rough.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Dave is blue.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11)] Harry is blue.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)]