The cat eats the rabbit. The cat eats the squirrel. The cat does not visit the rabbit. The lion is big. The lion is nice. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit sees the cat. The squirrel eats the lion. The squirrel visits the rabbit. If something is nice and it sees the cat then it does not visit the lion. If something sees the cat and the cat is not nice then it eats the lion.
The rabbit does not see the cat.
@0: The cat does not visit the rabbit.[(triple3)] The cat eats the rabbit.[(triple1)] The cat eats the squirrel.[(triple2)] The lion is big.[(triple4)] The lion is nice.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit sees the cat.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel visits the rabbit.[(triple10)]