The cat visits the tiger. The dog is young. The dog visits the tiger. The mouse is green. The mouse likes the tiger. The mouse visits the cat. The mouse visits the tiger. The tiger likes the cat. The tiger needs the mouse. The tiger visits the cat. If someone likes the mouse then they like the cat. If someone visits the mouse and the mouse visits the cat then the cat is kind. If someone is kind and they like the tiger then they are young. If the mouse is blue and the mouse likes the tiger then the mouse likes the cat. If the cat likes the tiger and the cat is blue then the cat is kind. If someone visits the cat then they need the dog. If someone visits the cat then they are green. If someone needs the tiger and the tiger is blue then they are green.
The mouse does not visit the tiger.
@0: The cat visits the tiger.[(triple1)] The dog is young.[(triple2)] The dog visits the tiger.[(triple3)] The mouse is green.[(triple4 OR ((triple6) -> rule7))] The mouse likes the tiger.[(triple5)] The mouse visits the cat.[(triple6)] The mouse visits the tiger.[(triple7)] The tiger likes the cat.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger visits the cat.[(triple10)] @1: The mouse needs the dog.[(((triple6) -> rule6))] The tiger is green.[(((triple10) -> rule7))] The tiger needs the dog.[(((triple10) -> rule6))]