Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Furry, round people are quiet. If Dave is not blue then Dave is red. If someone is blue then they are young. If someone is red and not blue then they are furry. If someone is blue then they are round. If Dave is not young and Dave is not blue then Dave is nice. Young people are nice. If someone is red and not quiet then they are not nice.
Dave is not red.
@0: Dave is furry.[(triple2 OR ((triple5 triple1) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule4))] Dave is nice.[(triple3 OR ((triple7) -> rule7))] Dave is not blue.[(triple1)] Dave is quiet.[(triple4 OR ((triple2 triple6) -> rule1) OR ((((triple5 triple1) -> rule4) triple6) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule4) triple6) -> rule1))] Dave is red.[(triple5 OR ((triple1) -> rule2))] Dave is round.[(triple6)] Dave is young.[(triple7)]