Anne is rough. Charlie is big. Gary is young. Harry is quiet. If something is rough and blue then it is nice. All young, nice things are not blue. If Harry is nice and Harry is blue then Harry is rough. If Harry is nice then Harry is quiet. If something is green then it is rough. If something is quiet and nice then it is rough.
Anne is not rough.
@0: Anne is rough.[(triple1)] Charlie is big.[(triple2)] Gary is young.[(triple3)] Harry is quiet.[(triple4)]