Dave is red. Harry is nice. If Dave is big then Dave is quiet. All red people are not nice. If someone is big then they are not red. If someone is red and not white then they are big. If Dave is quiet then Dave is cold. If someone is red and not nice then they are furry. Furry people are quiet. If someone is cold and big then they are not quiet.
Dave is not nice.
@0: Dave is red.[(triple1)] Harry is nice.[(triple2)] @1: Dave is not nice.[(((triple1) -> rule2))] @2: Dave is furry.[(((triple1 ((triple1) -> rule2)) -> rule6))] @3: Dave is quiet.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule7))] @4: Dave is cold.[(((((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule5))]