Bob is blue. Bob is not furry. Bob is not kind. Bob is red. Dave is kind. Dave is red. Fiona is not kind. Fiona is red. Fiona is young. Harry is not blue. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is smart. Harry is young. If Dave is furry then Dave is smart. If Dave is smart then Dave is young. If something is blue and young then it is cold.
Dave is not young.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is red.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Fiona is not kind.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not blue.[(triple10)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)]