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