Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is white. Anne is young. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is white. Dave is young. If Anne is nice and Anne is kind then Anne is white.
Dave is not green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple4 triple3) -> rule1))] Anne is young.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is rough.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14)]