The bear does not eat the squirrel. The cow does not eat the mouse. The cow eats the squirrel. The cow is green. The cow is young. The cow visits the mouse. The mouse is young. The mouse sees the bear. The mouse visits the cow. The squirrel is nice. If something visits the squirrel then it visits the bear. If something visits the cow and it sees the squirrel then the cow sees the mouse. If something is cold then it visits the mouse. If something eats the cow then it is not cold. If something is young and it sees the bear then the bear eats the cow. If something visits the cow then it is not big. If something is big and it does not visit the bear then it does not see the mouse. If something sees the mouse then it eats the bear.
The mouse is big.
@0: The bear does not eat the squirrel.[(triple1)] The cow does not eat the mouse.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is green.[(triple4)] The cow is young.[(triple5)] The cow visits the mouse.[(triple6)] The mouse is young.[(triple7)] The mouse sees the bear.[(triple8)] The mouse visits the cow.[(triple9)] The squirrel is nice.[(triple10)] @1: The bear eats the cow.[(((triple7 triple8) -> rule5))] The mouse is not big.[(((triple9) -> rule6))] @2: The bear is not cold.[(((((triple7 triple8) -> rule5)) -> rule4))]