The lion is kind. The lion is young. The lion visits the rabbit. The rabbit eats the tiger. The rabbit is big. The rabbit is rough. The rabbit needs the tiger. The rabbit visits the lion. The rabbit visits the tiger. The tiger eats the lion. The tiger is kind. The tiger visits the lion. If something visits the lion then the lion visits the rabbit. If something is young then it eats the tiger.
The tiger needs the rabbit.
@0: The lion is kind.[(triple1)] The lion is young.[(triple2)] The lion visits the rabbit.[(triple3 OR ((triple12) -> rule1) OR ((triple8) -> rule1))] The rabbit eats the tiger.[(triple4)] The rabbit is big.[(triple5)] The rabbit is rough.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit visits the lion.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion eats the tiger.[(((triple2) -> rule2))]