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 cold.
@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)]