Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is not round. Dave is young. If Dave is round and Dave is not kind then Dave is blue. All kind things are red. All cold things are young.
Dave is not round.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is not round.[(triple6)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule2))] Dave is young.[(triple7 OR ((triple2) -> rule3))]