Charlie is rough. Dave is big. Erin is green. Harry is quiet. All blue things are red. If Harry is big and Harry is red then Harry is rough.
Harry is not red.
@0: Charlie is rough.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Harry is quiet.[(triple4)]