Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is round. Dave is smart. Dave is white. Big, smart things are cold. Big things are round. If something is big and not round then it is white.
Dave is cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple1 triple6) -> rule1))] Dave is furry.[(triple4)] Dave is round.[(triple5 OR ((triple1) -> rule2))] Dave is smart.[(triple6)] Dave is white.[(triple7)]