The cow chases the squirrel. The cow is big. The cow is kind. The cow likes the mouse. The cow sees the mouse. The mouse chases the cow. The mouse is young. The mouse likes the cow. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel likes the cow. The squirrel sees the mouse. If someone likes the mouse and the mouse sees the cow then the mouse sees the squirrel. If the mouse is young and the mouse sees the squirrel then the mouse likes the cow. If someone chases the squirrel and they are young then the squirrel likes the cow.
The mouse is young.
@0: The cow chases the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The mouse chases the cow.[(triple6)] The mouse is young.[(triple7)] The mouse likes the cow.[(triple8 OR ((triple7 triple10) -> rule2))] The mouse likes the squirrel.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel sees the mouse.[(triple12)]