Bob is quiet. Dave is not green. Erin is young. Harry is not big. Harry is green. Harry is quiet. Harry is not young. If something is big and not quiet then it is red. Nice things are red. If something is round and not quiet then it is green.
Harry is not green.
@0: Bob is quiet.[(triple1)] Dave is not green.[(triple2)] Erin is young.[(triple3)] Harry is green.[(triple5)] Harry is not big.[(triple4)] Harry is not young.[(triple7)] Harry is quiet.[(triple6)]