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