The cat is big. The cat is green. The cat is red. The cat is round. The cat is young. The cat likes the cow. The cat does not see the cow. The cat does not visit the cow. The cow is not big. The cow is green. The cow is not red. The cow is round. The cow is young. The cow does not like the cat. The cow sees the cat. The cow visits the cat. If something sees the cow and the cow sees the cat then the cow visits the cat. If something visits the cow then it is young. If the cat likes the cow and the cow does not see the cat then the cat sees the cow. If something visits the cow then it does not see the cow. If something sees the cow and the cow does not visit the cat then the cat is not round. If something visits the cow and it does not see the cow then it is big. If something visits the cat and it does not see the cow then the cow does not like the cat. If something sees the cow and it is round then it is green.
The cow does not visit the cat.
@0: The cat does not see the cow.[(triple7)] The cat does not visit the cow.[(triple8)] The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the cow.[(triple6)] The cow does not like the cat.[(triple14)] The cow is green.[(triple10)] The cow is not big.[(triple9)] The cow is not red.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow sees the cat.[(triple15)] The cow visits the cat.[(triple16)]