The cow is cold. The mouse is green. The tiger needs the mouse. If the mouse needs the cow then the cow does not like the tiger. If the cow chases the tiger and the tiger does not like the cow then the tiger is young. If the cow is cold then the cow needs the mouse. If someone is young and they do not chase the tiger then they like the tiger. If someone chases the tiger and the tiger does not like the mouse then they do not chase the cow. If the tiger chases the mouse and the tiger is green then the mouse needs the cow.
The cow needs the mouse.
@0: The cow is cold.[(triple1)] The mouse is green.[(triple2)] The tiger needs the mouse.[(triple3)] @1: The cow needs the mouse.[(((triple1) -> rule3))]