Anne is not big. Anne is not green. Anne is nice. Anne is white. Charlie is big. Charlie is green. Charlie is not kind. Charlie is white. Charlie is not young. Dave is big. Dave is green. Dave is smart. Dave is young. Fiona is big. Fiona is not nice. If Anne is green then Anne is young. All white, green things are not kind. Nice, big things are white.
Anne is kind.
@0: Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not green.[(triple2)] Anne is white.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is not kind.[(triple7 OR ((triple8 triple6) -> rule2))] Charlie is not young.[(triple9)] Charlie is white.[(triple8)] Dave is big.[(triple10)] Dave is green.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Fiona is big.[(triple14)] Fiona is not nice.[(triple15)]