The bear eats the cat. The bear is not blue. The cat does not chase the dog. The cat chases the tiger. The dog eats the bear. The tiger does not eat the bear. The tiger eats the cat. If someone chases the dog then they eat the cat. If someone chases the bear and they do not eat the bear then they see the tiger. If someone eats the tiger then they eat the dog. If someone eats the bear then the bear is cold. If someone is red then they eat the tiger. If the bear is nice and the cat does not see the bear then the bear eats the tiger.
The dog does not eat the bear.
@0: The bear eats the cat.[(triple1)] The bear is not blue.[(triple2)] The cat chases the tiger.[(triple4)] The cat does not chase the dog.[(triple3)] The dog eats the bear.[(triple5)] The tiger does not eat the bear.[(triple6)] The tiger eats the cat.[(triple7)] @1: The bear is cold.[(((triple5) -> rule4))]