The cow is red. The cow visits the mouse. The lion chases the cow. The lion is red. The lion is young. The lion likes the mouse. The lion visits the tiger. The mouse is cold. The mouse is red. The mouse likes the tiger. The tiger chases the lion. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is green. The tiger is young. If something likes the cow and it visits the tiger then it likes the mouse. If something chases the tiger and it visits the tiger then the tiger visits the lion.
The lion visits the mouse.
@0: The cow is red.[(triple1)] The cow visits the mouse.[(triple2)] The lion chases the cow.[(triple3)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6)] The lion visits the tiger.[(triple7)] The mouse is cold.[(triple8)] The mouse is red.[(triple9)] The mouse likes the tiger.[(triple10)] The tiger chases the lion.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger is blue.[(triple13)] The tiger is cold.[(triple14)] The tiger is green.[(triple15)] The tiger is young.[(triple16)]