Fiona is furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. Harry is not furry. Harry is green. Harry is nice. Harry is not quiet. Harry is rough. Harry is white. Harry is young. If something is furry and not young then it is white. If something is green and not furry then it is nice.
Fiona is not young.
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple3)] Fiona is not green.[(triple2)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple9 triple8) -> rule2))] Harry is not furry.[(triple8)] Harry is not quiet.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]