Anne is big. Anne is blue. Anne is green. Anne is white. Bob is blue. Bob is young. Dave is not blue. Dave is furry. Dave is green. Dave is quiet. Dave is young. Fiona is big. If someone is furry then they are not big. If Dave is blue and Dave is furry then Dave is white.
Dave is quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is young.[(triple6)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not blue.[(triple7)] Dave is quiet.[(triple10)] Dave is young.[(triple11)] Fiona is big.[(triple12)] @1: Dave is not big.[(((triple8) -> rule1))]