The cow eats the mouse. The cow is big. The cow sees the mouse. The mouse eats the cow. The mouse is cold. The mouse likes the cow. The mouse sees the cow. If someone eats the cow and the cow eats the mouse then the mouse is cold. If the cow eats the mouse then the mouse sees the cow. If someone eats the cow and the cow eats the mouse then they eat the mouse.
The cow does not like the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow sees the mouse.[(triple3)] The mouse eats the cow.[(triple4)] The mouse is cold.[(triple5 OR ((triple4 triple1) -> rule1))] The mouse likes the cow.[(triple6)] The mouse sees the cow.[(triple7 OR ((triple1) -> rule2))] @1: The mouse eats the mouse.[(((triple4 triple1) -> rule3))]