Anne is blue. Anne is cold. Anne is quiet. Anne is rough. Anne is not round. Anne is smart. Anne is white. Bob is round. Bob is smart. Bob is white. If something is round then it is not quiet. If Anne is blue and Anne is not round then Anne is smart. Round, cold things are blue.
Bob is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not round.[(triple5)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple6 OR ((triple1 triple5) -> rule2))] Anne is white.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Bob is white.[(triple10)] @1: Bob is not quiet.[(((triple8) -> rule1))]