Bob is rough. Erin is red. Gary is red. Harry is young. If Harry is green then Harry is rough. If someone is green then they are big.
Harry is not rough.
@0: Bob is rough.[(triple1)] Erin is red.[(triple2)] Gary is red.[(triple3)] Harry is young.[(triple4)]