Gary is green. Harry is not rough. If Harry is red and Harry is round then Harry is green. If someone is rough and red then they are green. If someone is cold and rough then they are not green. Green, round people are not quiet. All quiet people are cold. If Harry is quiet then Harry is not red. Round people are red. If someone is smart and not rough then they are not round.
Harry is rough.
@0: Gary is green.[(triple1)] Harry is not rough.[(triple2)]