Anne is furry. Anne is rough. Bob is furry. Bob is rough. Charlie is red. Gary is furry. Gary is round. Round, rough people are cold. All rough, red people are cold. If Charlie is furry and Charlie is nice then Charlie is big.
Anne is not cold.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is furry.[(triple3)] Bob is rough.[(triple4)] Charlie is red.[(triple5)] Gary is furry.[(triple6)] Gary is round.[(triple7)]