The lion is big. The mouse is cold. The squirrel is big. The squirrel is cold. The squirrel sees the mouse. The squirrel visits the lion. The squirrel visits the mouse. If someone visits the mouse and the mouse visits the squirrel then they like the lion. If someone likes the squirrel and the squirrel likes the mouse then the mouse is cold. If the mouse likes the squirrel and the squirrel visits the lion then the mouse likes the lion.
The lion does not like the lion.
@0: The lion is big.[(triple1)] The mouse is cold.[(triple2)] The squirrel is big.[(triple3)] The squirrel is cold.[(triple4)] The squirrel sees the mouse.[(triple5)] The squirrel visits the lion.[(triple6)] The squirrel visits the mouse.[(triple7)]