The cat is blue. The dog likes the cat. The mouse eats the dog. The tiger eats the mouse. If someone needs the dog and they like the cat then they are not young. Green people are young. If someone likes the cat then the cat eats the mouse. If someone eats the dog then the dog eats the cat. If someone needs the cat and the cat is round then they are blue. If someone needs the cat and they are green then they like the tiger. If someone needs the tiger then they are nice. If someone likes the cat and the cat likes the dog then the dog likes the cat.
The dog does not like the cat.
@0: The cat is blue.[(triple1)] The dog likes the cat.[(triple2)] The mouse eats the dog.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The cat eats the mouse.[(((triple2) -> rule3))] The dog eats the cat.[(((triple3) -> rule4))]