Dave is blue. Dave is not cold. Dave is not nice. Dave is quiet. Dave is not red. Dave is rough. Dave is round. If Dave is nice and Dave is not blue then Dave is red. All nice people are quiet. If someone is rough and not quiet then they are red. If Dave is not cold and Dave is not quiet then Dave is round. All quiet people are rough. If someone is red then they are rough.
Dave is not cold.
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Dave is not nice.[(triple3)] Dave is not red.[(triple5)] Dave is quiet.[(triple4)] Dave is rough.[(triple6 OR ((triple4) -> rule5))] Dave is round.[(triple7)]