The cow sees the tiger. The lion is green. The rabbit eats the lion. The tiger is green. If someone eats the lion then the lion is big. If someone is round then they see the cow.
The cow sees the tiger.
@0: The cow sees the tiger.[(triple1)] The lion is green.[(triple2)] The rabbit eats the lion.[(triple3)] The tiger is green.[(triple4)] @1: The lion is big.[(((triple3) -> rule1))]