The cow eats the mouse. The cow is big. The cow is cold. The cow is nice. The cow is round. The cow is young. The cow needs the mouse. The cow sees the mouse. The mouse is big. The mouse is cold. The mouse needs the cow. The mouse sees the cow. If the mouse sees the cow and the mouse needs the cow then the cow needs the mouse. If someone is young then they see the cow.
The mouse does not see the cow.
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow needs the mouse.[(triple7 OR ((triple12 triple11) -> rule1))] The cow sees the mouse.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The mouse needs the cow.[(triple11)] The mouse sees the cow.[(triple12)] @1: The cow sees the cow.[(((triple6) -> rule2))]