The cat eats the cow. The cat eats the rabbit. The cat is green. The cat is rough. The cat is round. The cat is young. The cat sees the cow. The cat sees the rabbit. The cat visits the rabbit. The cow eats the rabbit. The cow is young. The cow sees the cat. The cow visits the rabbit. The rabbit eats the cow. The rabbit visits the cow. If someone visits the rabbit and the rabbit eats the cat then the rabbit sees the cat. If someone is red then they visit the cat. If someone sees the cat and the cat visits the cow then the cow is young.
The rabbit does not visit the cow.
@0: The cat eats the cow.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat sees the cow.[(triple7)] The cat sees the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The cow eats the rabbit.[(triple10)] The cow is young.[(triple11)] The cow sees the cat.[(triple12)] The cow visits the rabbit.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit visits the cow.[(triple15)]