Anne is cold. Bob is green. Charlie is round. Harry is round. If something is cold then it is white. If something is round then it is quiet. If Anne is not round then Anne is green. If Anne is smart then Anne is big. If Harry is round then Harry is cold. White things are smart.
Bob is cold.
@0: Anne is cold.[(triple1)] Bob is green.[(triple2)] Charlie is round.[(triple3)] Harry is round.[(triple4)] @1: Anne is white.[(((triple1) -> rule1))] Charlie is quiet.[(((triple3) -> rule2))] Harry is cold.[(((triple4) -> rule5))] Harry is quiet.[(((triple4) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule6))] Harry is white.[(((((triple4) -> rule5)) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule1)) -> rule6)) -> rule4))] Harry is smart.[(((((((triple4) -> rule5)) -> rule1)) -> rule6))]