Anne is furry. Anne is not green. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Erin is not white. Erin is young. Fiona is not green. Fiona is smart. Fiona is white. Furry things are quiet.
Fiona is not quiet.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is not white.[(triple12)] Erin is quiet.[(triple10 OR ((triple8) -> rule1))] Erin is smart.[(triple11)] Erin is young.[(triple13)] Fiona is not green.[(triple14)] Fiona is smart.[(triple15)] Fiona is white.[(triple16)]