Anne is green. Anne is red. Anne is smart. Dave is blue. Dave is furry. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. If someone is quiet and green then they are blue. Furry, blue people are nice.
Anne is not blue.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is red.[(triple15)] Fiona is smart.[(triple16)] @1: Dave is nice.[(((triple5 triple4) -> rule2))] Erin is nice.[(((triple8 triple7) -> rule2))]