The cat chases the mouse. The cat is kind. The cat needs the cow. The cat needs the mouse. The cat sees the mouse. The cow needs the cat. The cow needs the mouse. The cow sees the mouse. The mouse chases the cat. The mouse is green. If something sees the mouse then it is green. If something sees the mouse and the mouse sees the cow then the mouse needs the cat. If the mouse sees the cow then the mouse needs the cow.
The cow needs the cow.
@0: The cat chases the mouse.[(triple1)] The cat is kind.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the mouse.[(triple4)] The cat sees the mouse.[(triple5)] The cow needs the cat.[(triple6)] The cow needs the mouse.[(triple7)] The cow sees the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is green.[(triple10)] @1: The cat is green.[(((triple5) -> rule1))] The cow is green.[(((triple8) -> rule1))]