The cat eats the cow. The cat visits the mouse. The cow is blue. The cow visits the lion. The cow visits the mouse. The lion is kind. The lion is young. The lion likes the cat. The mouse is cold. The mouse likes the lion. If someone eats the mouse then the mouse is kind. If the lion likes the cat then the cat is blue.
The mouse is not kind.
@0: The cat eats the cow.[(triple1)] The cat visits the mouse.[(triple2)] The cow is blue.[(triple3)] The cow visits the lion.[(triple4)] The cow visits the mouse.[(triple5)] The lion is kind.[(triple6)] The lion is young.[(triple7)] The lion likes the cat.[(triple8)] The mouse is cold.[(triple9)] The mouse likes the lion.[(triple10)] @1: The cat is blue.[(((triple8) -> rule2))]