Anne is not big. Anne is not blue. Anne is not nice. Anne is quiet. Anne is round. Anne is young. Bob is big. Bob is blue. Bob is nice. Bob is quiet. Charlie is not nice. Charlie is not quiet. Charlie is not young. Dave is blue. Dave is quiet. Dave is round. If something is nice and not red then it is young. If something is young and not big then it is quiet.
Bob is nice.
@0: Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6 triple1) -> rule2))] Anne is round.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is nice.[(triple9)] Bob is quiet.[(triple10)] Charlie is not nice.[(triple11)] Charlie is not quiet.[(triple12)] Charlie is not young.[(triple13)] Dave is blue.[(triple14)] Dave is quiet.[(triple15)] Dave is round.[(triple16)]