Dave is nice. Harry is not cold. Harry is young. Young people are not blue. All furry people are blue. All furry people are blue. If someone is young then they are smart. All blue people are furry. If someone is furry and not smart then they are nice.
Dave is not nice.
@0: Dave is nice.[(triple1)] Harry is not cold.[(triple2)] Harry is young.[(triple3)] @1: Harry is not blue.[(((triple3) -> rule1))] Harry is smart.[(((triple3) -> rule4))]