Anne is not blue. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Charlie is not young. Fiona is not nice. Fiona is rough. Fiona is not young. If Charlie is round then Charlie is furry. If Fiona is white then Fiona is young. All round things are furry. If Anne is not furry then Anne is not young. Nice things are rough. If something is blue and not young then it is nice.
Fiona is not furry.
@0: Anne is nice.[(triple2)] Anne is not blue.[(triple1)] Anne is rough.[(triple3 OR ((triple2) -> rule5))] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple11) -> rule1) OR ((triple11) -> rule3))] Charlie is nice.[(triple9 OR ((triple7 triple13) -> rule6))] Charlie is not young.[(triple13)] Charlie is rough.[(triple10 OR ((triple9) -> rule5) OR ((((triple7 triple13) -> rule6)) -> rule5))] Charlie is round.[(triple11)] Charlie is white.[(triple12)] Fiona is not nice.[(triple14)] Fiona is not young.[(triple16)] Fiona is rough.[(triple15)] @1: Anne is furry.[(((triple4) -> rule3))]