Dave is blue. Dave is nice. Dave is red. Dave is not rough. Dave is not smart. Fiona is blue. Fiona is smart. Harry is blue. Harry is not furry. Harry is nice. Harry is rough. Harry is not smart. If Dave is not red then Dave is not smart.
Dave is red.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is not rough.[(triple4)] Dave is not smart.[(triple5)] Dave is red.[(triple3)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple10)] Harry is not furry.[(triple9)] Harry is not smart.[(triple12)] Harry is rough.[(triple11)]