The cat eats the mouse. The mouse does not eat the cat. The mouse does not eat the tiger. The mouse is kind. The mouse does not like the cat. The mouse likes the tiger. The mouse visits the cat. The mouse does not visit the tiger. The tiger is not green. The tiger is not round. The tiger does not like the mouse. The tiger visits the mouse. If someone visits the tiger and the tiger likes the cat then the cat eats the tiger. If someone visits the tiger then the tiger visits the cat. If someone eats the tiger then the tiger does not visit the mouse. If someone eats the mouse then they are green. If someone is red and they visit the tiger then the tiger is red. If the cat visits the tiger and the cat does not eat the mouse then the mouse likes the tiger. If someone likes the mouse and they are nice then the mouse is nice. If someone is green then they visit the tiger.
The tiger does not visit the cat.
@0: The cat eats the mouse.[(triple1)] The mouse does not eat the cat.[(triple2)] The mouse does not eat the tiger.[(triple3)] The mouse does not like the cat.[(triple5)] The mouse does not visit the tiger.[(triple8)] The mouse is kind.[(triple4)] The mouse likes the tiger.[(triple6)] The mouse visits the cat.[(triple7)] The tiger does not like the mouse.[(triple11)] The tiger is not green.[(triple9)] The tiger is not round.[(triple10)] The tiger visits the mouse.[(triple12)] @1: The cat is green.[(((triple1) -> rule4))] @2: The cat visits the tiger.[(((((triple1) -> rule4)) -> rule8))] @3: The tiger visits the cat.[(((((((triple1) -> rule4)) -> rule8)) -> rule2))]