Anne is not big. Anne is blue. Anne is furry. Anne is not kind. Anne is round. Anne is smart. Anne is young. Fiona is blue. Fiona is kind. Fiona is round. All kind people are smart.
Fiona is big.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not kind.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is smart.[(((triple9) -> rule1))]