The bear does not eat the cat. The bear eats the dog. The bear eats the rabbit. The bear is cold. The bear likes the rabbit. The cat is not cold. The cat is round. The cat sees the rabbit. The dog likes the cat. The dog sees the cat. The rabbit eats the cat. The rabbit is cold. The rabbit is kind. The rabbit likes the bear. The rabbit sees the cat. If something likes the rabbit and the rabbit eats the cat then the rabbit eats the bear. If the cat sees the rabbit and the rabbit eats the dog then the dog is round. If something sees the dog then the dog is round.
The bear does not eat the dog.
@0: The bear does not eat the cat.[(triple1)] The bear eats the dog.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is cold.[(triple4)] The bear likes the rabbit.[(triple5)] The cat is not cold.[(triple6)] The cat is round.[(triple7)] The cat sees the rabbit.[(triple8)] The dog likes the cat.[(triple9)] The dog sees the cat.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The rabbit eats the bear.[(((triple5 triple11) -> rule1))]