Anne is rough. All big, red people are rough. All quiet, blue people are kind. If Anne is smart then Anne is blue. If someone is rough then they are kind. If someone is rough and smart then they are red. Quiet, big people are smart. If someone is kind and rough then they are smart. Rough, blue people are smart.
Anne is not blue.
@0: Anne is rough.[(triple1)] @1: Anne is kind.[(((triple1) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule4) triple1) -> rule7))] @3: Anne is blue.[(((((((triple1) -> rule4) triple1) -> rule7)) -> rule3))] Anne is red.[(((triple1 ((((triple1) -> rule4) triple1) -> rule7)) -> rule5))]