The bear eats the lion. The bear does not eat the rabbit. The bear is blue. The bear is rough. The cow eats the bear. The cow does not see the bear. The lion eats the bear. The lion does not eat the rabbit. The lion sees the bear. The lion sees the cow. The lion sees the rabbit. The rabbit is rough. The rabbit sees the bear. The rabbit visits the cow. The rabbit visits the lion. If something visits the lion and it is cold then the lion is not young. If the lion sees the bear and the cow does not visit the lion then the lion eats the rabbit. If something is blue then it sees the bear. If something sees the lion and it is not blue then it sees the bear. If something sees the rabbit and the rabbit eats the bear then it sees the bear. If something visits the bear then the bear sees the rabbit.
The lion sees the cow.
@0: The bear does not eat the rabbit.[(triple2)] The bear eats the lion.[(triple1)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The cow does not see the bear.[(triple6)] The cow eats the bear.[(triple5)] The lion does not eat the rabbit.[(triple8)] The lion eats the bear.[(triple7)] The lion sees the bear.[(triple9)] The lion sees the cow.[(triple10)] The lion sees the rabbit.[(triple11)] The rabbit is rough.[(triple12)] The rabbit sees the bear.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The bear sees the bear.[(((triple3) -> rule3))]