Charlie is blue. Charlie is green. Charlie is smart. Dave is big. Dave is blue. Dave is cold. Dave is round. Dave is smart. Dave is young. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is round. Harry is smart. Harry is young. If Dave is green and Dave is smart then Dave is round.
Charlie is not round.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)]