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