Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is not white. Fiona is furry. Fiona is kind. Fiona is not quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Quiet people are round.
Charlie is round.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule1))] Charlie is smart.[(triple6)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is not quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]