The cow eats the lion. The lion visits the rabbit. The rabbit does not visit the cow. If something eats the cow then it visits the rabbit. If the lion likes the rabbit then the lion is not round. If something likes the lion then the lion is round. If something likes the lion and the lion is blue then it is not green. If something eats the lion then it visits the cow. If the lion is young then the lion eats the cow. If the rabbit is not red then the rabbit does not eat the cow. If something visits the cow then it likes the lion.
The cow does not visit the cow.
@0: The cow eats the lion.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit does not visit the cow.[(triple3)] @1: The cow visits the cow.[(((triple1) -> rule5))] @2: The cow likes the lion.[(((((triple1) -> rule5)) -> rule8))] @3: The lion is round.[(((((((triple1) -> rule5)) -> rule8)) -> rule3))]