Charlie is not big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is not red. Dave is not white. Dave is young. If something is white and not green then it is big. Red things are young. If Dave is kind then Dave is young. Red things are kind. If something is red and not big then it is kind. If something is green and not young then it is quiet. All kind, red things are quiet. If something is big and not young then it is not quiet.
Dave is not green.
@0: Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule4) OR ((triple5 triple1) -> rule5))] Charlie is not big.[(triple1)] Charlie is quiet.[(triple4 OR ((triple3 triple5) -> rule7) OR ((((triple5) -> rule4) triple5) -> rule7) OR ((((triple5 triple1) -> rule5) triple5) -> rule7))] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule2))] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is not red.[(triple12)] Dave is not white.[(triple13)] Dave is quiet.[(triple11)] Dave is young.[(triple14 OR ((triple10) -> rule3))]