Anne is green. Gary is not smart. If something is smart then it is not round. If something is round then it is not white. White things are cold. If Gary is white then Gary is green. If Anne is green then Anne is round. All round, white things are green. If something is round and not white then it is big. If Gary is not green then Gary is cold.
Gary is not smart.
@0: Anne is green.[(triple1)] Gary is not smart.[(triple2)] @1: Anne is round.[(((triple1) -> rule5))] @2: Anne is not white.[(((((triple1) -> rule5)) -> rule2))] @3: Anne is big.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7))]