The lion eats the rabbit. The lion is young. The rabbit chases the lion. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is kind. The rabbit likes the lion. The rabbit likes the tiger. The tiger chases the lion. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is not big. The tiger is green. The tiger is not kind. The tiger likes the lion. If someone likes the lion then they chase the rabbit. If the lion does not like the rabbit then the rabbit is big. If someone likes the rabbit then they are kind. If someone chases the lion then they chase the tiger. If someone is green and they eat the tiger then they are young. If someone eats the tiger and the tiger is green then they chase the lion. If someone chases the lion and they are not big then the lion eats the tiger. If someone eats the rabbit and they do not chase the tiger then the tiger is kind.
The lion does not like the rabbit.
@0: The lion eats the rabbit.[(triple1)] The lion is young.[(triple2)] The rabbit chases the lion.[(triple3 OR ((triple5 triple14) -> rule6))] The rabbit chases the tiger.[(triple4 OR ((triple3) -> rule4) OR ((((triple5 triple14) -> rule6)) -> rule4))] The rabbit eats the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is kind.[(triple7)] The rabbit likes the lion.[(triple8)] The rabbit likes the tiger.[(triple9)] The tiger chases the lion.[(triple10)] The tiger chases the rabbit.[(triple11 OR ((triple16) -> rule1))] The tiger eats the rabbit.[(triple12)] The tiger is green.[(triple14)] The tiger is not big.[(triple13)] The tiger is not kind.[(triple15)] The tiger likes the lion.[(triple16)] @1: The lion eats the tiger.[(((triple10 triple13) -> rule7))] The rabbit chases the rabbit.[(((triple8) -> rule1))] The tiger chases the tiger.[(((triple10) -> rule4))] @2: The lion chases the lion.[(((((triple10 triple13) -> rule7) triple14) -> rule6))] @3: The lion chases the tiger.[(((((((triple10 triple13) -> rule7) triple14) -> rule6)) -> rule4))]