Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is rough. Bob is round. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Dave is round. If Dave is round and Dave is furry then Dave is cold.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is cold.[(triple10 OR ((triple14 triple11) -> rule1))] Dave is furry.[(triple11)] Dave is nice.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)]