The bear is red. The dog does not eat the lion. The dog eats the rabbit. The dog is blue. The dog sees the rabbit. The lion eats the bear. The lion sees the bear. The rabbit is big. The rabbit sees the dog. The rabbit sees the lion. If the lion is kind then the lion sees the rabbit. If something eats the dog and it is not blue then the dog is red. If something is blue then it eats the dog.
The rabbit likes the dog.
@0: The bear is red.[(triple1)] The dog does not eat the lion.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is blue.[(triple4)] The dog sees the rabbit.[(triple5)] The lion eats the bear.[(triple6)] The lion sees the bear.[(triple7)] The rabbit is big.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The dog eats the dog.[(((triple4) -> rule3))]