The cat visits the mouse. The mouse visits the rabbit. The rabbit visits the cat. The tiger visits the rabbit. If the tiger visits the cat and the tiger likes the rabbit then the tiger is cold. If someone likes the rabbit then the rabbit is kind. If someone visits the tiger and the tiger likes the cat then the tiger chases the cat. If someone visits the tiger and they chase the tiger then the tiger is cold. If someone visits the tiger then they like the cat. If the mouse is round then the mouse likes the rabbit. If someone visits the rabbit and they like the mouse then they chase the cat. If the rabbit chases the mouse and the mouse is kind then the rabbit is big.
The rabbit does not visit the cat.
@0: The cat visits the mouse.[(triple1)] The mouse visits the rabbit.[(triple2)] The rabbit visits the cat.[(triple3)] The tiger visits the rabbit.[(triple4)]