The bear does not eat the cat. The bear does not eat the tiger. The bear is big. The bear does not see the cat. The bear visits the tiger. The cat eats the cow. The cat does not visit the bear. The cow eats the bear. The cow does not eat the cat. The cow visits the cat. The cow visits the tiger. The tiger is kind. The tiger sees the bear. The tiger sees the cow. The tiger visits the bear. The tiger visits the cow. If someone sees the bear then they visit the tiger. If the cat visits the bear and the cat eats the cow then the bear is not round. If someone visits the cow and the cow does not eat the bear then the bear is cold.
The cow eats the bear.
@0: The bear does not eat the cat.[(triple1)] The bear does not eat the tiger.[(triple2)] The bear does not see the cat.[(triple4)] The bear is big.[(triple3)] The bear visits the tiger.[(triple5)] The cat does not visit the bear.[(triple7)] The cat eats the cow.[(triple6)] The cow does not eat the cat.[(triple9)] The cow eats the bear.[(triple8)] The cow visits the cat.[(triple10)] The cow visits the tiger.[(triple11)] The tiger is kind.[(triple12)] The tiger sees the bear.[(triple13)] The tiger sees the cow.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the cow.[(triple16)] @1: The tiger visits the tiger.[(((triple13) -> rule1))]