Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is not smart. Anne is young. Dave is blue. Dave is green. Dave is kind. Dave is not quiet. Dave is round. Dave is smart. Dave is not young. If something is green and not quiet then it is kind. If Dave is quiet then Dave is kind. If Anne is not quiet then Anne is young.
Dave is kind.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not smart.[(triple6)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple9 triple11) -> rule1))] Dave is not quiet.[(triple11)] Dave is not young.[(triple14)] Dave is round.[(triple12)] Dave is smart.[(triple13)]