Dave is quiet. If someone is big then they are kind. All big people are nice. If Dave is nice and Dave is kind then Dave is blue. If someone is blue and young then they are kind. If someone is young and blue then they are big. Blue, big people are quiet. If Dave is quiet then Dave is white. All nice people are white.
Dave is not quiet.
@0: Dave is quiet.[(triple1)] @1: Dave is white.[(((triple1) -> rule7))]