The bear visits the cat. The cat visits the bear. The cow eats the cat. If something visits the cat and the cat needs the bear then the cat visits the cow. If the cat needs the cow and the cat needs the bear then the cat is cold. If the cow needs the cat then the cow is big. If something is kind and it does not eat the cow then the cow is big. If the cow is big then the cow needs the bear. If something visits the cat and it is not big then it is cold.
The bear is not cold.
@0: The bear visits the cat.[(triple1)] The cat visits the bear.[(triple2)] The cow eats the cat.[(triple3)]