The cat is rough. The cat needs the mouse. The cat sees the mouse. The cat sees the tiger. The cat visits the mouse. The mouse is green. The mouse needs the cat. The mouse sees the cat. The mouse sees the tiger. The mouse visits the cat. The mouse visits the tiger. The tiger needs the cat. The tiger sees the cat. The tiger sees the mouse. The tiger visits the cat. The tiger visits the mouse. If the tiger needs the mouse and the tiger visits the mouse then the tiger is red. If the tiger visits the mouse then the mouse is rough. If something needs the tiger and the tiger visits the mouse then the mouse visits the tiger.
The mouse sees the tiger.
@0: The cat is rough.[(triple1)] The cat needs the mouse.[(triple2)] The cat sees the mouse.[(triple3)] The cat sees the tiger.[(triple4)] The cat visits the mouse.[(triple5)] The mouse is green.[(triple6)] The mouse needs the cat.[(triple7)] The mouse sees the cat.[(triple8)] The mouse sees the tiger.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger needs the cat.[(triple12)] The tiger sees the cat.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse is rough.[(((triple16) -> rule2))]