Dave is not big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is young. If Dave is not green then Dave is not blue. All big things are furry. All round things are furry. Big things are furry. All big things are round. Furry, blue things are young.
Dave is not green.
@0: Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple6) -> rule3))] Dave is green.[(triple4)] Dave is not big.[(triple1)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple3 triple2) -> rule6) OR ((((triple6) -> rule3) triple2) -> rule6))]