The rabbit chases the tiger. The rabbit eats the squirrel. The rabbit is green. The rabbit is rough. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is round. The squirrel sees the rabbit. The tiger chases the rabbit. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is green. The tiger is rough. The tiger sees the rabbit. If the squirrel is rough and the squirrel chases the rabbit then the squirrel sees the tiger.
The squirrel does not see the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the rabbit.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the rabbit.[(triple15)]