Anne is nice. Bob is young. Gary is red. Harry is smart. Nice, cold things are round. If Gary is round and Gary is red then Gary is nice. If Harry is cold then Harry is round. If something is cold then it is young. Young, round things are cold. Nice, round things are young.
Anne is not round.
@0: Anne is nice.[(triple1)] Bob is young.[(triple2)] Gary is red.[(triple3)] Harry is smart.[(triple4)]