Anne is cold. Anne is kind. Anne is not nice. Anne is round. Anne is young. Gary is cold. Gary is kind. Gary is nice. Gary is rough. Gary is young. If Anne is not nice and Anne is not rough then Anne is not round. If Anne is nice and Anne is young then Anne is round.
Gary is cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)]