The cat visits the rabbit. The rabbit is blue. The rabbit is rough. If someone is blue then they visit the cat. If someone chases the cat and they visit the rabbit then they eat the rabbit. If someone eats the cat and the cat chases the rabbit then they are rough. If someone chases the rabbit then the rabbit visits the cat. If someone chases the cat and they visit the rabbit then the rabbit chases the cat. If someone visits the cat and the cat eats the rabbit then the cat visits the rabbit.
The rabbit visits the cat.
@0: The cat visits the rabbit.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is rough.[(triple3)] @1: The rabbit visits the cat.[(((triple2) -> rule1))]