Dave is blue. Erin is big. Harry is furry. If someone is furry and not cold then they are quiet. All blue people are not red.
Erin is cold.
@0: Dave is blue.[(triple1)] Erin is big.[(triple2)] Harry is furry.[(triple3)] @1: Dave is not red.[(((triple1) -> rule2))]