Anne is blue. Anne is quiet. Anne is red. Anne is round. Anne is not white. Dave is not blue. Dave is quiet. Dave is not red. Dave is rough. Dave is round. If someone is red and not white then they are quiet. If someone is white and not red then they are quiet. Furry, blue people are rough. All furry, quiet people are rough. Round people are not furry. If Dave is round then Dave is quiet. If Anne is not red and Anne is not white then Anne is rough. If Anne is round and Anne is blue then Anne is rough.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is not white.[(triple5)] Anne is quiet.[(triple2 OR ((triple3 triple5) -> rule1))] Anne is red.[(triple3)] Anne is round.[(triple4)] Dave is not blue.[(triple6)] Dave is not red.[(triple8)] Dave is quiet.[(triple7 OR ((triple10) -> rule6))] Dave is rough.[(triple9)] Dave is round.[(triple10)] @1: Anne is not furry.[(((triple4) -> rule5))] Anne is rough.[(((triple4 triple1) -> rule8))] Dave is not furry.[(((triple10) -> rule5))]