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