The lion is cold. The mouse is cold. The mouse visits the squirrel. The squirrel is not cold. The squirrel needs the lion. The tiger is round. The tiger does not need the lion. If the tiger visits the mouse and the tiger is not cold then the mouse does not visit the squirrel.
The mouse is cold.
@0: The lion is cold.[(triple1)] The mouse is cold.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel is not cold.[(triple4)] The squirrel needs the lion.[(triple5)] The tiger does not need the lion.[(triple7)] The tiger is round.[(triple6)]