The mouse eats the squirrel. The mouse does not eat the tiger. The mouse is red. The mouse visits the squirrel. The squirrel is young. The tiger does not eat the squirrel. The tiger is round. If something eats the mouse then it is round. If something is rough then it visits the mouse.
The squirrel is not round.
@0: The mouse does not eat the tiger.[(triple2)] The mouse eats the squirrel.[(triple1)] The mouse is red.[(triple3)] The mouse visits the squirrel.[(triple4)] The squirrel is young.[(triple5)] The tiger does not eat the squirrel.[(triple6)] The tiger is round.[(triple7)]