Anne is not furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is not round. Anne is young. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is not round. Fiona is young. If Fiona is red then Fiona is quiet.
Anne is not quiet.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not round.[(triple6)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is not round.[(triple13)] Fiona is quiet.[(triple11 OR ((triple12) -> rule1))] Fiona is red.[(triple12)] Fiona is young.[(triple14)]