The bear does not like the rabbit. The bear sees the dog. The dog eats the rabbit. The dog likes the bear. The dog likes the rabbit. The dog sees the bear. The dog does not see the rabbit. The rabbit eats the dog. The rabbit is cold. The rabbit is rough. If someone likes the bear and the bear eats the dog then the bear sees the rabbit. If someone is rough then they do not see the rabbit. If the bear sees the dog then the bear does not like the dog. If someone eats the dog then the dog is cold. If someone sees the rabbit then the rabbit eats the dog. If someone likes the dog and they do not see the rabbit then the rabbit eats the dog.
The bear sees the bear.
@0: The bear does not like the rabbit.[(triple1)] The bear sees the dog.[(triple2)] The dog does not see the rabbit.[(triple7)] The dog eats the rabbit.[(triple3)] The dog likes the bear.[(triple4)] The dog likes the rabbit.[(triple5)] The dog sees the bear.[(triple6)] The rabbit eats the dog.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is rough.[(triple10)] @1: The bear does not like the dog.[(((triple2) -> rule3))] The dog is cold.[(((triple8) -> rule4))] The rabbit does not see the rabbit.[(((triple10) -> rule2))]