Anne is not green. Anne is nice. Anne is red. Anne is not white. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Fiona is blue. Fiona is not green. Fiona is kind. Fiona is not nice. Fiona is red. Fiona is white. Fiona is not young. If Fiona is young and Fiona is nice then Fiona is not red. If someone is white and nice then they are not kind. All white people are kind. If Fiona is white and Fiona is not blue then Fiona is not young. If Anne is young and Anne is red then Anne is not blue. If Charlie is blue and Charlie is not white then Charlie is not young.
Anne is not kind.
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is not white.[(triple4)] Anne is red.[(triple3)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple11 OR ((triple14) -> rule3))] Fiona is not green.[(triple10)] Fiona is not nice.[(triple12)] Fiona is not young.[(triple15)] Fiona is red.[(triple13)] Fiona is white.[(triple14)]