Dave is nice. Dave is red. Dave is not rough. Dave is smart. Harry is nice. Harry is quiet. Harry is red. Harry is not rough. Harry is smart. Harry is not young. If something is quiet then it is not white. Young, white things are quiet. Red things are quiet.
Dave is not quiet.
@0: Dave is nice.[(triple1)] Dave is not rough.[(triple3)] Dave is red.[(triple2)] Dave is smart.[(triple4)] Harry is nice.[(triple5)] Harry is not rough.[(triple8)] Harry is not young.[(triple10)] Harry is quiet.[(triple6 OR ((triple7) -> rule3))] Harry is red.[(triple7)] Harry is smart.[(triple9)] @1: Dave is quiet.[(((triple2) -> rule3))] Harry is not white.[(((triple6) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] @2: Dave is not white.[(((((triple2) -> rule3)) -> rule1))]