Anne is red. If something is white and not cold then it is not kind. If Anne is rough then Anne is kind. If something is quiet then it is rough. If something is red and cold then it is rough. Red things are quiet. If Anne is red and Anne is kind then Anne is not smart. Kind things are red. If something is kind and not quiet then it is smart.
Anne is not white.
@0: Anne is red.[(triple1)] @1: Anne is quiet.[(((triple1) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is kind.[(((((((triple1) -> rule5)) -> rule3)) -> rule2))] @4: Anne is not smart.[(((triple1 ((((((triple1) -> rule5)) -> rule3)) -> rule2)) -> rule6))]