Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Dave is white. Dave is young. All round people are kind.
Dave is green.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]