Bob is cold. Charlie is round. Dave is furry. Erin is nice. If someone is nice and not young then they are not kind. If Bob is not furry then Bob is not nice. Cold, nice people are smart. If Bob is round then Bob is kind. Furry, round people are cold. If Charlie is round and Charlie is not smart then Charlie is kind.
Charlie is nice.
@0: Bob is cold.[(triple1)] Charlie is round.[(triple2)] Dave is furry.[(triple3)] Erin is nice.[(triple4)]