The cat needs the lion. The cow eats the cat. The lion is nice. If something visits the cow and the cow visits the lion then it is round. If something needs the cat then the cat is kind. All nice things are big.
The cow does not eat the cat.
@0: The cat needs the lion.[(triple1)] The cow eats the cat.[(triple2)] The lion is nice.[(triple3)] @1: The lion is big.[(((triple3) -> rule3))]