Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is not red. Anne is not rough. Anne is round. Bob is not big. Bob is not cold. Bob is red. Bob is not rough. Dave is big. Dave is cold. Dave is nice. Dave is not red. Dave is round. If something is red and not furry then it is big. If something is big and rough then it is red. If Bob is big and Bob is round then Bob is not rough.
Bob is not furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Anne is not rough.[(triple6)] Anne is round.[(triple7)] Bob is not big.[(triple8)] Bob is not cold.[(triple9)] Bob is not rough.[(triple11)] Bob is red.[(triple10)] Dave is big.[(triple12)] Dave is cold.[(triple13)] Dave is nice.[(triple14)] Dave is not red.[(triple15)] Dave is round.[(triple16)]