Charlie is not big. Charlie is green. Charlie is not nice. Charlie is not quiet. Charlie is not rough. Charlie is not round. Charlie is white. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is not round. Dave is white. If Charlie is quiet and Charlie is not round then Charlie is white. Quiet, white people are green. All quiet people are green.
Charlie is not big.
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1)] Charlie is not nice.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is not rough.[(triple5)] Charlie is not round.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9 OR ((triple11) -> rule3) OR ((triple11 triple14) -> rule2))] Dave is nice.[(triple10)] Dave is not round.[(triple13)] Dave is quiet.[(triple11)] Dave is rough.[(triple12)] Dave is white.[(triple14)]