The dog likes the lion. The lion is nice. The lion is young. If someone sees the lion then they eat the lion. If someone likes the lion then the lion is round. If someone sees the lion and the lion likes the dog then they eat the lion. If someone likes the dog then the dog is nice. If the lion sees the dog then the lion is young. If someone likes the dog and they are big then they see the dog.
The dog likes the lion.
@0: The dog likes the lion.[(triple1)] The lion is nice.[(triple2)] The lion is young.[(triple3)] @1: The lion is round.[(((triple1) -> rule2))]