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