The bear eats the cow. The bear eats the dog. The bear is round. The bear likes the dog. The bear visits the cow. The cow is cold. The cow visits the bear. The cow visits the dog. The dog eats the cow. The dog is nice. If the dog likes the bear and the dog is big then the bear is kind. If someone likes the dog then the dog is nice. If someone visits the cow and the cow is big then the cow is kind.
The bear visits the cow.
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear is round.[(triple3)] The bear likes the dog.[(triple4)] The bear visits the cow.[(triple5)] The cow is cold.[(triple6)] The cow visits the bear.[(triple7)] The cow visits the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is nice.[(triple10 OR ((triple4) -> rule2))]