Anne is nice. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is not young. Dave is furry. If Dave is furry and Dave is nice then Dave is smart. If Dave is not furry and Dave is not cold then Dave is blue. If Anne is blue and Anne is smart then Anne is young.
Charlie is blue.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is not young.[(triple9)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Dave is furry.[(triple10)]