The lion eats the rabbit. The lion eats the tiger. The lion is blue. The lion sees the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit needs the lion. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the lion. The tiger eats the rabbit. The tiger is rough. The tiger needs the lion. The tiger needs the rabbit. If someone eats the lion and they are rough then they see the lion. If the tiger is rough and the tiger eats the lion then the lion eats the tiger.
The lion needs the lion.
@0: The lion eats the rabbit.[(triple1)] The lion eats the tiger.[(triple2 OR ((triple14 triple12) -> rule2))] The lion is blue.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit needs the tiger.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger eats the lion.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the lion.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The rabbit sees the lion.[(((triple5 triple8) -> rule1))] The tiger sees the lion.[(((triple12 triple14) -> rule1))]