The mouse does not eat the tiger. The mouse is blue. The mouse is kind. The mouse is not nice. The mouse visits the rabbit. The mouse visits the squirrel. The rabbit does not visit the tiger. The squirrel does not eat the rabbit. The squirrel is nice. The squirrel sees the mouse. The squirrel sees the rabbit. The tiger eats the mouse. The tiger is kind. The tiger sees the mouse. The tiger visits the mouse. The tiger visits the squirrel. If something visits the rabbit and it visits the squirrel then the rabbit is rough. If the squirrel is blue then the squirrel sees the mouse. If something visits the squirrel and it does not see the squirrel then the squirrel does not see the mouse. If something eats the rabbit and it is blue then the rabbit eats the squirrel. If the mouse sees the tiger and the mouse does not see the rabbit then the mouse is kind. If something sees the mouse and it eats the tiger then the tiger sees the rabbit.
The rabbit visits the mouse.
@0: The mouse does not eat the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is not nice.[(triple4)] The mouse visits the rabbit.[(triple5)] The mouse visits the squirrel.[(triple6)] The rabbit does not visit the tiger.[(triple7)] The squirrel does not eat the rabbit.[(triple8)] The squirrel is nice.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel sees the rabbit.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is kind.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The rabbit is rough.[(((triple5 triple6) -> rule1))]