Anne is nice. Anne is white. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is smart. All kind people are nice. If Anne is cold then Anne is big.
Dave is smart.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule1))] Dave is smart.[(triple7)]