The cat does not eat the rabbit. The cat likes the rabbit. The cat visits the rabbit. The rabbit does not eat the cat. The rabbit is nice. The rabbit likes the cat. The rabbit visits the cat. If something likes the rabbit then it eats the cat. If something eats the cat and the cat visits the rabbit then it is kind. If something visits the cat and it visits the rabbit then the cat does not visit the rabbit.
The cat does not visit the rabbit.
@0: The cat does not eat the rabbit.[(triple1)] The cat likes the rabbit.[(triple2)] The cat visits the rabbit.[(triple3)] The rabbit does not eat the cat.[(triple4)] The rabbit is nice.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The cat eats the cat.[(((triple2) -> rule1))] @2: The cat is kind.[(((((triple2) -> rule1) triple3) -> rule2))]