Anne is green. Anne is quiet. Anne is rough. If someone is nice and white then they are green. All white, rough people are red. If someone is red then they are quiet. If Anne is rough and Anne is white then Anne is kind. All kind, nice people are green. Kind, red people are white. Quiet people are white. Rough people are nice.
Anne is rough.
@0: Anne is green.[(triple1 OR ((((triple3) -> rule8) ((triple2) -> rule7)) -> rule1) OR ((((triple3 ((triple2) -> rule7)) -> rule4) ((triple3) -> rule8)) -> rule5))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] @1: Anne is nice.[(((triple3) -> rule8))] Anne is white.[(((triple2) -> rule7))] @2: Anne is kind.[(((triple3 ((triple2) -> rule7)) -> rule4))] Anne is red.[(((((triple2) -> rule7) triple3) -> rule2))]