Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is red. Anne is smart. Anne is young. Dave is not big. Dave is blue. Dave is green. Dave is not quiet. Dave is not red. Dave is smart. Dave is not young. Fiona is blue. Fiona is not smart. All blue, quiet people are big.
Anne is not blue.
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule1))] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is not big.[(triple8)] Dave is not quiet.[(triple11)] Dave is not red.[(triple12)] Dave is not young.[(triple14)] Dave is smart.[(triple13)] Fiona is blue.[(triple15)] Fiona is not smart.[(triple16)]