The bear eats the tiger. The bear likes the cat. The bear does not see the cat. The bear sees the rabbit. The cat sees the tiger. The rabbit likes the bear. The tiger eats the cat. If something sees the cat then it likes the tiger. If something sees the tiger then it does not like the tiger. If something sees the rabbit and it is round then it eats the cat.
The bear does not see the cat.
@0: The bear does not see the cat.[(triple3)] The bear eats the tiger.[(triple1)] The bear likes the cat.[(triple2)] The bear sees the rabbit.[(triple4)] The cat sees the tiger.[(triple5)] The rabbit likes the bear.[(triple6)] The tiger eats the cat.[(triple7)] @1: The cat does not like the tiger.[(((triple5) -> rule2))]