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