Dave is green. Round things are smart. If something is blue then it is smart. If Dave is not blue then Dave is nice. If something is nice then it is round. If something is green and not smart then it is big. All big things are not green. If something is nice and not smart then it is cold. If something is green and not nice then it is cold.
Dave is blue.
@0: Dave is green.[(triple1)]