The mouse is not blue. The mouse sees the tiger. The mouse does not visit the rabbit. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit sees the mouse. The rabbit visits the mouse. The rabbit visits the tiger. The tiger eats the mouse. The tiger is blue. The tiger is kind. The tiger sees the mouse. The tiger sees the rabbit. If someone sees the rabbit and they are not rough then the rabbit does not see the tiger. If the mouse sees the rabbit then the rabbit is blue. If someone sees the tiger then the tiger does not eat the rabbit. If someone is rough and they see the mouse then they eat the rabbit. If someone eats the mouse and the mouse eats the rabbit then the rabbit sees the mouse. If someone eats the mouse and they are rough then they do not see the mouse. If someone eats the tiger and they are not blue then they are not kind. If someone visits the rabbit and they are kind then they eat the mouse.
The tiger does not eat the mouse.
@0: The mouse does not visit the rabbit.[(triple3)] The mouse is not blue.[(triple1)] The mouse sees the tiger.[(triple2)] The rabbit eats the mouse.[(triple4)] The rabbit is big.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is kind.[(triple7)] The rabbit sees the mouse.[(triple8)] The rabbit visits the mouse.[(triple9)] The rabbit visits the tiger.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is blue.[(triple12)] The tiger is kind.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The tiger does not eat the rabbit.[(((triple2) -> rule3))]