The cat eats the rabbit. The cat is blue. The rabbit needs the cat. If someone visits the rabbit then they are green. If the cat needs the rabbit and the cat visits the rabbit then the rabbit visits the cat. If someone needs the cat and the cat does not need the rabbit then the rabbit visits the cat. If the rabbit is not green then the rabbit visits the cat. If someone is blue and they eat the rabbit then the rabbit eats the cat. If someone eats the cat and they do not visit the cat then they are blue.
The rabbit is not blue.
@0: The cat eats the rabbit.[(triple1)] The cat is blue.[(triple2)] The rabbit needs the cat.[(triple3)] @1: The rabbit eats the cat.[(((triple2 triple1) -> rule5))]