The cow eats the dog. The cow eats the lion. The cow eats the mouse. The cow is cold. The cow sees the mouse. The dog is rough. The dog needs the mouse. The dog sees the lion. The lion eats the cow. The lion is cold. The lion is green. The mouse needs the lion. If something eats the cow then the cow is green. All rough things are round. If the cow is cold then the cow sees the dog. If something needs the lion and it is rough then it eats the lion. If something eats the mouse and the mouse is green then the mouse eats the lion. If something eats the cow and it needs the cow then the cow sees the dog.
The dog sees the lion.
@0: The cow eats the dog.[(triple1)] The cow eats the lion.[(triple2)] The cow eats the mouse.[(triple3)] The cow is cold.[(triple4)] The cow sees the mouse.[(triple5)] The dog is rough.[(triple6)] The dog needs the mouse.[(triple7)] The dog sees the lion.[(triple8)] The lion eats the cow.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The mouse needs the lion.[(triple12)] @1: The cow is green.[(((triple9) -> rule1))] The cow sees the dog.[(((triple4) -> rule3))] The dog is round.[(((triple6) -> rule2))]