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