Anne is furry. Anne is red. Anne is white. Anne is young. Charlie is blue. Charlie is not smart. Charlie is young. Erin is kind. Fiona is not furry. Fiona is smart. Fiona is not white. Fiona is not young. If something is furry then it is smart. If something is smart and kind then it is white. If something is young and not smart then it is not red.
Erin is not smart.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is not smart.[(triple6)] Charlie is young.[(triple7)] Erin is kind.[(triple8)] Fiona is not furry.[(triple9)] Fiona is not white.[(triple11)] Fiona is not young.[(triple12)] Fiona is smart.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Charlie is not red.[(((triple7 triple6) -> rule3))]