Anne is blue. Anne is green. Anne is not smart. Bob is not furry. Bob is red. Dave is red. Dave is smart. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is not young. Red, young things are not blue. Smart things are nice. All furry, young things are nice. If Erin is young and Erin is not smart then Erin is green. If something is nice and red then it is young. If something is young and not nice then it is green.
Dave is nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not smart.[(triple3)] Bob is not furry.[(triple4)] Bob is red.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is not young.[(triple12)] Erin is red.[(triple11)] @1: Dave is nice.[(((triple7) -> rule2))] @2: Dave is young.[(((((triple7) -> rule2) triple6) -> rule5))] @3: Dave is not blue.[(((triple6 ((((triple7) -> rule2) triple6) -> rule5)) -> rule1))]