Anne is smart. Bob is red. All red things are cold. If something is quiet then it is cold. If Anne is blue and Anne is smart then Anne is rough. Quiet things are red. Red, quiet things are nice. All cold things are nice. If Anne is smart then Anne is red. All blue things are quiet.
Anne is not rough.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] @1: Anne is red.[(((triple1) -> rule7))] Bob is cold.[(((triple2) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule7)) -> rule1))] Bob is nice.[(((((triple2) -> rule1)) -> rule6))] @3: Anne is nice.[(((((((triple1) -> rule7)) -> rule1)) -> rule6))]