Charlie is blue. Charlie is not green. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Round things are kind. If something is green and not round then it is kind.
Fiona is not white.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3 OR ((triple5) -> rule1))] Charlie is not green.[(triple2)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10 OR ((triple12) -> rule1))] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]