The cow eats the mouse. The cow is blue. The cow is green. The cow is kind. The cow is not young. The cow likes the mouse. The cow sees the mouse. The mouse does not eat the cow. The mouse is cold. The mouse is green. The mouse likes the cow. The mouse sees the cow. If the mouse is cold then the mouse does not eat the cow. If someone sees the cow and they like the cow then they eat the mouse.
The mouse is not cold.
@0: The cow eats the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is not young.[(triple5)] The cow likes the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse does not eat the cow.[(triple8 OR ((triple9) -> rule1))] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse likes the cow.[(triple11)] The mouse sees the cow.[(triple12)] @1: The mouse eats the mouse.[(((triple12 triple11) -> rule2))]