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