The lion chases the rabbit. The lion is green. The lion sees the tiger. The rabbit chases the lion. The rabbit eats the tiger. The rabbit is green. The rabbit sees the tiger. The tiger chases the rabbit. The tiger eats the lion. The tiger is round. The tiger sees the lion. The tiger sees the rabbit. Kind, young people are round. All round people are kind. If the lion is green and the lion sees the rabbit then the lion eats the rabbit. If someone chases the rabbit and they eat the tiger then the rabbit is green. If someone sees the tiger then they are round. If someone sees the rabbit then the rabbit eats the tiger. If someone sees the lion and they eat the lion then the lion sees the tiger. If someone is round then they chase the tiger.
The rabbit eats the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion is green.[(triple2)] The lion sees the tiger.[(triple3 OR ((triple11 triple9) -> rule7))] The rabbit chases the lion.[(triple4)] The rabbit eats the tiger.[(triple5 OR ((triple12) -> rule6))] The rabbit is green.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is round.[(triple10)] The tiger sees the lion.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The lion is round.[(((triple3) -> rule5) OR ((((triple11 triple9) -> rule7)) -> rule5))] The rabbit is round.[(((triple7) -> rule5))] The tiger chases the tiger.[(((triple10) -> rule8))] The tiger is kind.[(((triple10) -> rule2))] @2: The lion chases the tiger.[(((((triple3) -> rule5)) -> rule8) OR ((((((triple11 triple9) -> rule7)) -> rule5)) -> rule8))] The lion is kind.[(((((triple3) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7)) -> rule5)) -> rule2))] The rabbit chases the tiger.[(((((triple7) -> rule5)) -> rule8))] The rabbit is kind.[(((((triple7) -> rule5)) -> rule2))]