Dave is cold. Dave is kind. Dave is round. Red, kind people are white. White people are furry. If someone is red then they are blue. All white, furry people are round. If someone is blue then they are cold. If someone is cold then they are kind.
Dave is not round.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule6))] Dave is round.[(triple3)]