Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is not smart. Dave is young. If someone is green and young then they are quiet.
Dave is not green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not smart.[(triple6)] Dave is quiet.[(triple3 OR ((triple2 triple7) -> rule1))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple7)]