The cow sees the mouse. The dog chases the cow. The mouse sees the cow. The tiger chases the mouse. If someone needs the dog and the dog is blue then they chase the dog. If someone needs the cow and the cow is cold then the cow is kind. If someone sees the cow then they need the mouse. If someone sees the cow and they are red then they chase the mouse. If someone is kind and cold then they see the mouse. If someone chases the cow and the cow needs the dog then they chase the mouse. If someone sees the tiger then the tiger needs the mouse. If someone is cold and they see the cow then they see the mouse.
The tiger does not need the mouse.
@0: The cow sees the mouse.[(triple1)] The dog chases the cow.[(triple2)] The mouse sees the cow.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The mouse needs the mouse.[(((triple3) -> rule3))]