The cow eats the mouse. The cow is big. The cow is nice. The cow is young. The cow needs the lion. The cow needs the mouse. The cow sees the mouse. The lion eats the mouse. The lion is rough. The mouse is big. The mouse needs the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is nice. The squirrel is red. If the cow sees the lion then the lion is big. If something sees the mouse then it sees the lion. If something sees the lion then the lion sees the mouse.
The mouse does not eat the lion.
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow is nice.[(triple3)] The cow is young.[(triple4)] The cow needs the lion.[(triple5)] The cow needs the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The lion eats the mouse.[(triple8)] The lion is rough.[(triple9)] The mouse is big.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is nice.[(triple14)] The squirrel is red.[(triple15)] @1: The cow sees the lion.[(((triple7) -> rule2))] @2: The lion is big.[(((((triple7) -> rule2)) -> rule1))] The lion sees the mouse.[(((((triple7) -> rule2)) -> rule3))] @3: The lion sees the lion.[(((((((triple7) -> rule2)) -> rule3)) -> rule2))]