Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Cold, big people are smart. All cold, big people are quiet. All kind people are blue.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple4) -> rule3))] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5 OR ((triple3 triple1) -> rule2))] Dave is rough.[(triple6)] Dave is smart.[(triple7 OR ((triple3 triple1) -> rule1))]