The lion is green. The lion is rough. The lion is young. The lion sees the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is nice. The rabbit sees the lion. The rabbit visits the lion. If someone is rough then they eat the rabbit. If someone sees the rabbit and they see the lion then they eat the lion.
The lion sees the lion.
@0: The lion is green.[(triple1)] The lion is rough.[(triple2)] The lion is young.[(triple3)] The lion sees the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit sees the lion.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The lion eats the rabbit.[(((triple2) -> rule1))]