Dave is rough. Fiona is smart. Harry is smart. Blue people are round. If someone is rough and not nice then they are round. If someone is rough and not cold then they are red. Cold people are red. If someone is red and not nice then they are smart. All rough people are not smart. If someone is blue then they are rough. If someone is blue then they are not rough.
Dave is not round.
@0: Dave is rough.[(triple1)] Fiona is smart.[(triple2)] Harry is smart.[(triple3)] @1: Dave is not smart.[(((triple1) -> rule6))]