The cow does not chase the dog. The cow does not chase the mouse. The cow is young. The cow does not like the mouse. The cow likes the tiger. The cow sees the dog. The cow sees the tiger. The dog likes the cow. The dog does not like the tiger. The mouse chases the dog. The mouse is young. The mouse likes the tiger. The tiger is young. The tiger likes the mouse. The tiger sees the cow. The tiger sees the mouse. If the tiger sees the cow then the tiger likes the cow. If the mouse likes the cow then the cow sees the dog. If someone sees the tiger and the tiger is nice then they like the mouse. If someone sees the dog and they like the cow then they see the mouse. If someone is red then they do not like the cow. If someone sees the tiger then they are red. If someone sees the mouse and they like the mouse then the mouse is big. If someone sees the cow and they are nice then the cow chases the dog.
The dog does not like the mouse.
@0: The cow does not chase the dog.[(triple1)] The cow does not chase the mouse.[(triple2)] The cow does not like the mouse.[(triple4)] The cow is young.[(triple3)] The cow likes the tiger.[(triple5)] The cow sees the dog.[(triple6)] The cow sees the tiger.[(triple7)] The dog does not like the tiger.[(triple9)] The dog likes the cow.[(triple8)] The mouse chases the dog.[(triple10)] The mouse is young.[(triple11)] The mouse likes the tiger.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger sees the cow.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The cow is red.[(((triple7) -> rule6))] The mouse is big.[(((triple16 triple14) -> rule7))] The tiger likes the cow.[(((triple15) -> rule1))] @2: The cow does not like the cow.[(((((triple7) -> rule6)) -> rule5))]