The cat likes the dog. The dog likes the tiger. The mouse sees the tiger. The tiger sees the cat. If something needs the cat and the cat likes the tiger then the cat sees the mouse. If something likes the cat and the cat likes the tiger then the cat needs the mouse. If something is green then it needs the dog. If something sees the cat then the cat is blue. If something is rough then it sees the dog. If the dog likes the mouse then the dog needs the cat.
The mouse sees the tiger.
@0: The cat likes the dog.[(triple1)] The dog likes the tiger.[(triple2)] The mouse sees the tiger.[(triple3)] The tiger sees the cat.[(triple4)] @1: The cat is blue.[(((triple4) -> rule4))]