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