Anne is blue. Anne is nice. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is round. If someone is quiet and blue then they are kind. Smart, red people are blue.
Dave is not nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4 OR ((triple6 triple3) -> rule1))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)]