The cow eats the mouse. The cow is kind. The cow is red. The cow needs the mouse. The cow sees the mouse. The mouse eats the cow. The mouse needs the cow. If someone is young then they are red. If someone needs the cow and they see the mouse then they eat the mouse. If someone sees the cow and the cow sees the mouse then the cow needs the mouse. If someone is red and they need the mouse then they eat the cow. If someone is kind and they eat the mouse then the mouse needs the cow. If someone eats the mouse and the mouse eats the cow then the mouse is red.
The cow does not see the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The mouse eats the cow.[(triple6)] The mouse needs the cow.[(triple7 OR ((triple2 triple1) -> rule5))] @1: The cow eats the cow.[(((triple3 triple4) -> rule4))] The mouse is red.[(((triple1 triple6) -> rule6))]