Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is young. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is young. If Anne is kind and Anne is not round then Anne is quiet. If something is quiet and not young then it is not red.
Gary is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14)]