Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Fiona is not furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If something is rough and not kind then it is furry. Furry, red things are round. All quiet, rough things are round. If something is kind and not furry then it is red. If Fiona is round and Fiona is not kind then Fiona is not quiet. If something is furry and quiet then it is white. If something is rough then it is white. If something is quiet then it is white.
Charlie is not round.
@0: Charlie is kind.[(triple2)] Charlie is not furry.[(triple1)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple2 triple1) -> rule4))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple3 triple5) -> rule3))] Charlie is white.[(triple7 OR ((triple3) -> rule8) OR ((triple5) -> rule7))] Fiona is kind.[(triple9)] Fiona is not furry.[(triple8)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple9 triple8) -> rule4))] Fiona is rough.[(triple12)] Fiona is round.[(triple13 OR ((triple10 triple12) -> rule3))] Fiona is white.[(triple14 OR ((triple10) -> rule8) OR ((triple12) -> rule7))]