Dave is cold. Dave is kind. Dave is quiet. If someone is kind and not white then they are smart. All red people are not smart. If someone is smart then they are round. If Dave is not white then Dave is not round. Kind, quiet people are red. White people are not red. If someone is smart and not round then they are cold. All round people are cold.
Dave is not red.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is red.[(((triple2 triple3) -> rule5))] @2: Dave is not smart.[(((((triple2 triple3) -> rule5)) -> rule2))]