The cat visits the mouse. The mouse is round. The squirrel visits the cat. The tiger sees the cat. If the mouse visits the cat and the mouse is cold then the mouse is young. If something is young then it sees the squirrel.
The cat does not visit the mouse.
@0: The cat visits the mouse.[(triple1)] The mouse is round.[(triple2)] The squirrel visits the cat.[(triple3)] The tiger sees the cat.[(triple4)]