The cow eats the dog. The cow eats the tiger. The cow needs the dog. The cow sees the mouse. The dog sees the mouse. The mouse is blue. The mouse needs the dog. The mouse sees the dog. The mouse sees the tiger. The tiger is blue. The tiger is cold. The tiger sees the mouse. If someone is nice and big then they see the tiger. If someone eats the dog and they see the cow then the cow eats the mouse. If someone is cold then they eat the cow. If someone is red and they see the cow then the cow is cold. If someone is blue then they need the cow. If someone needs the tiger then the tiger is big.
The mouse is nice.
@0: The cow eats the dog.[(triple1)] The cow eats the tiger.[(triple2)] The cow needs the dog.[(triple3)] The cow sees the mouse.[(triple4)] The dog sees the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse needs the dog.[(triple7)] The mouse sees the dog.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The mouse needs the cow.[(((triple6) -> rule5))] The tiger eats the cow.[(((triple11) -> rule3))] The tiger needs the cow.[(((triple10) -> rule5))]