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