The lion eats the tiger. The lion is big. The lion is red. The lion sees the tiger. The tiger chases the lion. The tiger is kind. The tiger is nice. If something sees the tiger then it eats the lion. If something sees the lion then the lion eats the tiger. If something is big and it chases the lion then it sees the tiger.
The tiger sees the lion.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is red.[(triple3)] The lion sees the tiger.[(triple4)] The tiger chases the lion.[(triple5)] The tiger is kind.[(triple6)] The tiger is nice.[(triple7)] @1: The lion eats the lion.[(((triple4) -> rule1))]