The bear sees the tiger. The dog does not need the bear. The squirrel needs the dog. The tiger needs the dog. If someone eats the bear and they are not big then they are not blue. If the bear needs the squirrel and the bear eats the tiger then the squirrel eats the dog. If someone is big then they need the squirrel. If someone sees the tiger then they eat the squirrel. If someone sees the bear and they need the squirrel then the bear does not eat the squirrel. Big people are cold. If someone sees the tiger and they do not eat the dog then they do not see the dog. If the bear eats the dog and the bear is not cold then the bear does not need the dog.
The bear sees the tiger.
@0: The bear sees the tiger.[(triple1)] The dog does not need the bear.[(triple2)] The squirrel needs the dog.[(triple3)] The tiger needs the dog.[(triple4)] @1: The bear eats the squirrel.[(((triple1) -> rule4))]