The mouse is blue. The mouse is not kind. The mouse likes the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is rough. The rabbit visits the tiger. The tiger is rough. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the mouse. The tiger visits the rabbit. If the mouse sees the tiger then the mouse does not visit the tiger. If something is rough and it visits the rabbit then it visits the tiger.
The mouse does not visit the tiger.
@0: The mouse is blue.[(triple1)] The mouse is not kind.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is rough.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger sees the rabbit.[(triple10)] The tiger visits the mouse.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger visits the tiger.[(((triple8 triple12) -> rule2))]