The bear chases the tiger. The cat chases the mouse. The cat visits the bear. The mouse chases the tiger. The mouse is rough. The mouse is young. The tiger is big. If something chases the bear and the bear likes the mouse then the mouse likes the bear. If something visits the mouse then the mouse visits the tiger. If the tiger is young and the tiger likes the cat then the cat chases the tiger. If something likes the mouse and it is green then it chases the mouse. If something chases the cat then the cat likes the mouse. If the cat visits the bear then the cat visits the mouse. If something visits the tiger then the tiger chases the cat. If something is green and it chases the tiger then the tiger chases the bear.
The cat does not visit the mouse.
@0: The bear chases the tiger.[(triple1)] The cat chases the mouse.[(triple2)] The cat visits the bear.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6)] The tiger is big.[(triple7)] @1: The cat visits the mouse.[(((triple3) -> rule6))] @2: The mouse visits the tiger.[(((((triple3) -> rule6)) -> rule2))] @3: The tiger chases the cat.[(((((((triple3) -> rule6)) -> rule2)) -> rule7))] @4: The cat likes the mouse.[(((((((((triple3) -> rule6)) -> rule2)) -> rule7)) -> rule5))]