Anne is big. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Rough, white things are furry.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5 triple6) -> rule1))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple12 triple13) -> rule1))] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]