Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. If Dave is round then Dave is rough. Kind, smart people are round. If someone is cold and not kind then they are quiet. Quiet, cold people are smart. If someone is quiet then they are white. If someone is round and not rough then they are white.
Dave is not quiet.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple5) -> rule1) OR ((((triple2 triple6) -> rule2)) -> rule1) OR ((((triple2 ((triple3 triple1) -> rule4)) -> rule2)) -> rule1))] Dave is round.[(triple5 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple3 triple1) -> rule4)) -> rule2))] Dave is smart.[(triple6 OR ((triple3 triple1) -> rule4))] Dave is white.[(triple7 OR ((triple3) -> rule5))]