Bob is green. Bob is young. Dave is big. Dave is nice. Fiona is green. Fiona is rough. Harry is rough. If someone is blue and big then they are green.
Harry is rough.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is nice.[(triple4)] Fiona is green.[(triple5)] Fiona is rough.[(triple6)] Harry is rough.[(triple7)]