Anne is blue. Anne is furry. Anne is nice. Anne is smart. Anne is white. Anne is young. Dave is smart. Dave is white. Dave is young. Erin is white. Erin is young. Fiona is big. Fiona is not furry. Fiona is nice. Fiona is young. If Erin is not smart and Erin is not young then Erin is furry. White, furry people are blue. If someone is nice and not young then they are white. If someone is nice then they are white. If Erin is smart and Erin is not furry then Erin is nice. All blue people are nice.
Dave is not blue.
@0: Anne is blue.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple3) -> rule4) triple2) -> rule2))] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple1) -> rule6) OR ((((triple5 triple2) -> rule2)) -> rule6))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple3) -> rule4) OR ((((triple1) -> rule6)) -> rule4))] Anne is young.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Fiona is big.[(triple12)] Fiona is nice.[(triple14)] Fiona is not furry.[(triple13)] Fiona is young.[(triple15)] @1: Fiona is white.[(((triple14) -> rule4))]