Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Quiet things are big. Quiet things are kind.
Dave is nice.
@0: Dave is big.[(triple1 OR ((triple4) -> rule1))] Dave is kind.[(triple2 OR ((triple4) -> rule2))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)]