Anne is nice. Anne is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is round. Gary is furry. All round, rough things are big. If something is rough and furry then it is big. All white things are round.
Gary is cold.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is round.[(triple6)] Gary is furry.[(triple7)]