The cat chases the tiger. The cat is big. The cat is not kind. The cat does not visit the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse is cold. The mouse needs the cat. The mouse needs the tiger. The mouse visits the cat. The tiger does not chase the cat. The tiger chases the mouse. The tiger is big. The tiger is not rough. The tiger does not need the cat. The tiger needs the mouse. If the mouse chases the cat and the cat visits the mouse then the cat needs the mouse. If something needs the cat then it does not visit the mouse. If something visits the cat and it does not chase the tiger then the tiger does not chase the cat.
The cat visits the cat.
@0: The cat chases the tiger.[(triple1)] The cat does not visit the tiger.[(triple4)] The cat is big.[(triple2)] The cat is not kind.[(triple3)] The mouse chases the cat.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse needs the cat.[(triple8)] The mouse needs the tiger.[(triple9)] The mouse visits the cat.[(triple10)] The tiger chases the mouse.[(triple12)] The tiger does not chase the cat.[(triple11)] The tiger does not need the cat.[(triple15)] The tiger is big.[(triple13)] The tiger is not rough.[(triple14)] The tiger needs the mouse.[(triple16)] @1: The mouse does not visit the mouse.[(((triple8) -> rule2))]