The bear eats the cat. The bear eats the cow. The bear eats the rabbit. The bear is big. The bear visits the cat. The bear visits the cow. The bear visits the rabbit. The cat is blue. The cat is round. The cow is big. The cow is kind. The cow is round. The cow sees the rabbit. The rabbit eats the cow. The rabbit is round. The rabbit visits the cat. If the rabbit eats the cow and the cow visits the cat then the cow is kind.
The cow does not see the cow.
@0: The bear eats the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is big.[(triple4)] The bear visits the cat.[(triple5)] The bear visits the cow.[(triple6)] The bear visits the rabbit.[(triple7)] The cat is blue.[(triple8)] The cat is round.[(triple9)] The cow is big.[(triple10)] The cow is kind.[(triple11)] The cow is round.[(triple12)] The cow sees the rabbit.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit is round.[(triple15)] The rabbit visits the cat.[(triple16)]