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