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