The cat does not eat the cow. The cat is blue. The cat is green. The cat likes the mouse. The cat visits the cow. The cow is not blue. The cow is green. The cow is red. The cow likes the lion. The cow visits the cat. The lion does not eat the cow. The lion is not blue. The lion is not red. The mouse eats the cow. The mouse visits the lion. If the cow is red then the cow is cold. If someone eats the cat and they do not visit the mouse then they are blue. If someone visits the lion then they are red. If someone likes the mouse and the mouse does not visit the cat then they are round. If someone likes the cat then the cat is not green. If someone eats the cat and the cat is not green then the cat visits the cow.
The cat visits the cat.
@0: The cat does not eat the cow.[(triple1)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat likes the mouse.[(triple4)] The cat visits the cow.[(triple5)] The cow is green.[(triple7)] The cow is not blue.[(triple6)] The cow is red.[(triple8)] The cow likes the lion.[(triple9)] The cow visits the cat.[(triple10)] The lion does not eat the cow.[(triple11)] The lion is not blue.[(triple12)] The lion is not red.[(triple13)] The mouse eats the cow.[(triple14)] The mouse visits the lion.[(triple15)] @1: The cow is cold.[(((triple8) -> rule1))] The mouse is red.[(((triple15) -> rule3))]