Anne is blue. Anne is green. Anne is not red. Anne is round. Anne is smart. Anne is white. Bob is green. Bob is red. Bob is round. Bob is white. Quiet, green things are blue. If something is green and red then it is quiet. Blue, green things are quiet. If something is green then it is quiet. If something is quiet then it is smart. If something is smart and not white then it is red.
Bob is not smart.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule4) triple2) -> rule1))] Anne is green.[(triple2)] Anne is not red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((((triple2) -> rule4)) -> rule5) OR ((((triple1 triple2) -> rule3)) -> rule5))] Anne is white.[(triple6)] Bob is green.[(triple7)] Bob is red.[(triple8)] Bob is round.[(triple9)] Bob is white.[(triple10)] @1: Anne is quiet.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule3))] Bob is quiet.[(((triple7) -> rule4) OR ((triple7 triple8) -> rule2))] @2: Bob is blue.[(((((triple7) -> rule4) triple7) -> rule1) OR ((((triple7 triple8) -> rule2) triple7) -> rule1))] Bob is smart.[(((((triple7) -> rule4)) -> rule5) OR ((((triple7 triple8) -> rule2)) -> rule5))]