Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Dave is furry. Dave is green. Dave is kind. Dave is red. Erin is blue. Erin is furry. Erin is green. Erin is red. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Kind, quiet things are blue. If something is green and furry then it is quiet. If something is green and blue then it is furry.
Erin is not blue.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule1))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10 OR ((triple11 triple9) -> rule3))] Erin is green.[(triple11)] Erin is red.[(triple12)] Fiona is blue.[(triple13)] Fiona is furry.[(triple14 OR ((triple15 triple13) -> rule3))] Fiona is green.[(triple15)] Fiona is red.[(triple16)] @1: Dave is quiet.[(((triple6 triple5) -> rule2))] Erin is quiet.[(((triple11 triple10) -> rule2) OR ((triple11 ((triple11 triple9) -> rule3)) -> rule2))] Fiona is quiet.[(((triple15 triple14) -> rule2) OR ((triple15 ((triple15 triple13) -> rule3)) -> rule2))] @2: Dave is blue.[(((triple7 ((triple6 triple5) -> rule2)) -> rule1))]