Anne is cold. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is green. Bob is nice. Bob is smart. Bob is white. Charlie is blue. If something is round then it is blue. If Anne is cold and Anne is white then Anne is round. All green, nice things are white.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9 OR ((triple6 triple7) -> rule3))] Charlie is blue.[(triple10)] @1: Anne is white.[(((triple2 triple3) -> rule3))] @2: Anne is round.[(((triple1 ((triple2 triple3) -> rule3)) -> rule2))] @3: Anne is blue.[(((((triple1 ((triple2 triple3) -> rule3)) -> rule2)) -> rule1))]