The cow eats the mouse. The cow is green. The cow is nice. The cow is young. The cow likes the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is young. The mouse likes the cow. The mouse visits the cow. If the cow likes the mouse then the cow visits the mouse. If someone is green then they visit the cow. If someone visits the mouse and they are kind then they eat the mouse. If someone eats the mouse and the mouse is green then they are green. If someone is kind then they visit the cow. If someone is kind and they eat the mouse then they like the mouse.
The mouse is young.
@0: The cow eats the mouse.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow is young.[(triple4)] The cow likes the mouse.[(triple5)] The cow visits the mouse.[(triple6 OR ((triple5) -> rule1))] The mouse eats the cow.[(triple7)] The mouse is young.[(triple8)] The mouse likes the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The cow visits the cow.[(((triple2) -> rule2))]