Anne is red. Bob is not blue. Bob is rough. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is not rough. Harry is nice. If Harry is green then Harry is nice. If someone is green and round then they are nice. All blue, round people are rough.
Gary is rough.
@0: Anne is red.[(triple1)] Bob is not blue.[(triple2)] Bob is rough.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is not rough.[(triple9)] Gary is red.[(triple8)] Harry is nice.[(triple10)]