Anne is furry. Anne is kind. Anne is quiet. Anne is smart. Dave is furry. Dave is quiet. Dave is red. Dave is young. Erin is red. Erin is young. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. All young, green things are smart. Smart, red things are furry. If Erin is furry and Erin is young then Erin is not red. If something is green then it is not young. If Anne is not red then Anne is green. If something is quiet and not young then it is kind.
Anne is not green.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is young.[(triple8)] Erin is red.[(triple9)] Erin is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple14 ((triple12) -> rule4)) -> rule6))] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] @1: Fiona is not young.[(((triple12) -> rule4))]