Anne is not rough. If Anne is rough then Anne is not red. If Anne is kind and Anne is rough then Anne is not red. If Anne is rough and Anne is kind then Anne is not red. If Anne is nice and Anne is big then Anne is kind. If someone is rough and nice then they are young. If someone is kind then they are young. If someone is red and not nice then they are green. If someone is rough and not kind then they are not green.
Anne is rough.
@0: Anne is not rough.[(triple1)]