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.
Gary is not furry.
@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)]