Anne is not blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Dave is furry. Dave is kind. Dave is red. Dave is rough. Fiona is big. Fiona is furry. Fiona is rough. All kind people are big.
Anne is furry.
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not blue.[(triple1)] Anne is red.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is rough.[(triple12)] @1: Anne is big.[(((triple4) -> rule1))] Dave is big.[(((triple7) -> rule1))]