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