The dog eats the mouse. The dog eats the tiger. The dog is not red. The dog needs the lion. The lion sees the dog. The mouse is big. The mouse is red. The mouse needs the dog. The tiger eats the lion. The tiger sees the mouse. If something is big then it is not young. If something needs the tiger and it sees the lion then the lion does not need the mouse. If something needs the dog then it does not see the mouse. If something needs the dog and the dog is not blue then it does not see the mouse. If something sees the tiger and the tiger does not need the dog then it is cold. If the tiger eats the dog and the dog needs the mouse then the tiger is red.
The lion sees the dog.
@0: The dog eats the mouse.[(triple1)] The dog eats the tiger.[(triple2)] The dog is not red.[(triple3)] The dog needs the lion.[(triple4)] The lion sees the dog.[(triple5)] The mouse is big.[(triple6)] The mouse is red.[(triple7)] The mouse needs the dog.[(triple8)] The tiger eats the lion.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The mouse does not see the mouse.[(((triple8) -> rule3))] The mouse is not young.[(((triple6) -> rule1))]