The cow visits the lion. The lion visits the cow. If someone likes the cow and they do not need the cow then the cow visits the lion. If someone visits the lion then the lion is not big.
The cow does not visit the lion.
@0: The cow visits the lion.[(triple1)] The lion visits the cow.[(triple2)] @1: The lion is not big.[(((triple1) -> rule2))]