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