Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is white. Dave is big. Dave is blue. Dave is cold. Dave is not green. Dave is smart. Dave is white. Big people are smart. If Bob is not green then Bob is smart.
Dave is smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is white.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is not green.[(triple10)] Dave is smart.[(triple11 OR ((triple7) -> rule1))] Dave is white.[(triple12)] @1: Bob is smart.[(((triple1) -> rule1))]