The lion eats the rabbit. The lion is big. The lion is blue. The lion is green. The lion is rough. The lion is young. The lion needs the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is young. The rabbit needs the lion. The rabbit visits the lion. If the lion needs the rabbit and the rabbit needs the lion then the lion eats the rabbit. If the rabbit is young then the rabbit is rough.
The rabbit does not visit the rabbit.
@0: The lion eats the rabbit.[(triple1 OR ((triple7 triple15) -> rule1))] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13 OR ((triple14) -> rule2))] The rabbit is young.[(triple14)] The rabbit needs the lion.[(triple15)] The rabbit visits the lion.[(triple16)]