Anne is big. Anne is red. Anne is not smart. If someone is green then they are big. All quiet people are smart. If someone is kind then they are smart. All rough people are smart. Kind, red people are not green. If someone is rough and not red then they are green. Rough, big people are not green. If someone is smart then they are kind.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is not smart.[(triple3)] Anne is red.[(triple2)]