The cow visits the rabbit. The rabbit does not visit the cow. If something visits the rabbit then the rabbit is big. If something visits the cow and the cow is round then it needs the cow. If something is big then it needs the cow. If something eats the cow then the cow needs the rabbit. If something eats the cow then the cow visits the rabbit. If the cow is red and the cow does not eat the rabbit then the cow is round.
The rabbit is big.
@0: The cow visits the rabbit.[(triple1)] The rabbit does not visit the cow.[(triple2)] @1: The rabbit is big.[(((triple1) -> rule1))] @2: The rabbit needs the cow.[(((((triple1) -> rule1)) -> rule3))]