The cat is young. The dog chases the mouse. The mouse chases the dog. The tiger chases the mouse. If the dog needs the tiger and the tiger likes the cat then the cat likes the tiger. If something needs the mouse and it chases the tiger then the tiger is nice. If something chases the mouse then the mouse is not cold. If something likes the dog and the dog is red then the dog needs the cat. If something is red and it needs the cat then it needs the dog. If something needs the tiger and it is red then it likes the mouse.
The tiger does not chase the mouse.
@0: The cat is young.[(triple1)] The dog chases the mouse.[(triple2)] The mouse chases the dog.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The mouse is not cold.[(((triple2) -> rule3) OR ((triple4) -> rule3))]