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