Anne is kind. Anne is white. Charlie is nice. Charlie is white. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is white. Erin is young. Fiona is kind. Fiona is white. If someone is white and nice then they are kind. If Charlie is kind then Charlie is white.
Fiona is not white.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Fiona is kind.[(triple11)] Fiona is white.[(triple12)] @1: Charlie is kind.[(((triple4 triple3) -> rule1))] Erin is kind.[(((triple9 triple8) -> rule1))]