The dog is red. The dog likes the rabbit. The dog sees the lion. The lion eats the dog. The lion eats the rabbit. The lion is green. The lion is red. The lion is rough. The lion likes the rabbit. The lion sees the dog. The lion sees the rabbit. The rabbit eats the dog. The rabbit eats the lion. The rabbit is rough. The rabbit likes the dog. The rabbit likes the lion. If someone sees the lion then they eat the lion.
The dog eats the lion.
@0: The dog is red.[(triple1)] The dog likes the rabbit.[(triple2)] The dog sees the lion.[(triple3)] The lion eats the dog.[(triple4)] The lion eats the rabbit.[(triple5)] The lion is green.[(triple6)] The lion is red.[(triple7)] The lion is rough.[(triple8)] The lion likes the rabbit.[(triple9)] The lion sees the dog.[(triple10)] The lion sees the rabbit.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the dog.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The dog eats the lion.[(((triple3) -> rule1))]