Dave is big. Dave is blue. Dave is kind. Dave is not rough. Dave is round. Dave is smart. Dave is white. Gary is not big. Gary is blue. Gary is kind. Gary is rough. Gary is round. Gary is not smart. Gary is white. If Gary is rough and Gary is not round then Gary is smart. If Dave is not round then Dave is blue. If something is smart and not round then it is rough. White things are blue. If something is kind and not rough then it is white. If something is blue and not round then it is not white. If something is smart and not white then it is not big. If something is round and smart then it is big.
Dave is not blue.
@0: Dave is big.[(triple1 OR ((triple5 triple6) -> rule8))] Dave is blue.[(triple2 OR ((triple7) -> rule4) OR ((((triple3 triple4) -> rule5)) -> rule4))] Dave is kind.[(triple3)] Dave is not rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple3 triple4) -> rule5))] Gary is blue.[(triple9 OR ((triple14) -> rule4))] Gary is kind.[(triple10)] Gary is not big.[(triple8)] Gary is not smart.[(triple13)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple14)]