Dave is big. Dave is blue. Dave is cold. Dave is not kind. Dave is red. Dave is not rough. Dave is not round. If Dave is rough and Dave is not red then Dave is not blue. Round things are rough. If something is round then it is rough. If something is blue and not cold then it is rough. All big things are not kind. If something is rough and not blue then it is not kind. If something is cold and not blue then it is big. Red, blue things are big.
Dave is not red.
@0: Dave is big.[(triple1 OR ((triple5 triple2) -> rule8))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is not kind.[(triple4 OR ((triple1) -> rule5) OR ((((triple5 triple2) -> rule8)) -> rule5))] Dave is not rough.[(triple6)] Dave is not round.[(triple7)] Dave is red.[(triple5)]