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