Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is white. Dave is young. If someone is nice and young then they are white. Round, green people are nice. If Dave is furry and Dave is white then Dave is nice.
Dave is white.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple1 triple6) -> rule3) OR ((triple5 triple2) -> rule2))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple3 triple7) -> rule1) OR ((((triple5 triple2) -> rule2) triple7) -> rule1))] Dave is young.[(triple7)]