The bear visits the cow. The cat is big. The cow is not cold. If someone chases the bear and they are cold then the bear visits the cow. If someone chases the cow then the cow is red. If someone chases the bear and they are big then they chase the cat. If someone visits the bear then the bear eats the cow. If someone visits the cow then they chase the bear. If someone eats the bear and they are not round then they are not blue. If someone is big and they do not visit the cat then they eat the cat. If someone visits the bear and they are not red then they do not eat the cat.
The cat is not big.
@0: The bear visits the cow.[(triple1)] The cat is big.[(triple2)] The cow is not cold.[(triple3)] @1: The bear chases the bear.[(((triple1) -> rule5))]