The cat is rough. The cat sees the dog. The cat sees the mouse. The cat visits the cow. The cat visits the dog. The cow is cold. The cow is red. The dog is cold. The mouse is big. The mouse is rough. If something eats the cat and it eats the cow then the cow sees the mouse. If something eats the mouse then the mouse is big. If something sees the mouse then the mouse is cold.
The cow does not see the mouse.
@0: The cat is rough.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the mouse.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the dog.[(triple5)] The cow is cold.[(triple6)] The cow is red.[(triple7)] The dog is cold.[(triple8)] The mouse is big.[(triple9)] The mouse is rough.[(triple10)] @1: The mouse is cold.[(((triple3) -> rule3))]