The cat likes the rabbit. The rabbit needs the cat. The tiger is green. If someone likes the tiger and they are kind then the tiger visits the rabbit. If someone needs the cat then the cat is green. If someone is green then they visit the tiger. If someone is round then they like the tiger. If the tiger is round and the tiger likes the cat then the tiger is blue. If the rabbit needs the tiger and the tiger likes the cat then the cat visits the tiger.
The cat is not blue.
@0: The cat likes the rabbit.[(triple1)] The rabbit needs the cat.[(triple2)] The tiger is green.[(triple3)] @1: The cat is green.[(((triple2) -> rule2))] The tiger visits the tiger.[(((triple3) -> rule3))] @2: The cat visits the tiger.[(((((triple2) -> rule2)) -> rule3))]