Anne is blue. Anne is not furry. Anne is not young. Dave is blue. Dave is not furry. Dave is not green. Dave is quiet. Erin is not furry. Erin is not white. Erin is young. Smart, white things are young. If something is white then it is young. Green, white things are furry. If something is young and not white then it is not furry. If something is green and not white then it is not blue. If Anne is smart and Anne is not green then Anne is not young. All white, young things are smart. If something is smart and not young then it is quiet.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not young.[(triple3)] Dave is blue.[(triple4)] Dave is not furry.[(triple5)] Dave is not green.[(triple6)] Dave is quiet.[(triple7)] Erin is not furry.[(triple8 OR ((triple10 triple9) -> rule4))] Erin is not white.[(triple9)] Erin is young.[(triple10)]