The lion chases the rabbit. The lion does not eat the rabbit. The lion eats the tiger. The lion is not blue. The lion is red. The lion sees the rabbit. The lion sees the tiger. The rabbit is blue. The rabbit is kind. The rabbit sees the lion. The tiger does not chase the rabbit. The tiger eats the rabbit. The tiger is blue. The tiger is round. The tiger sees the lion. If something sees the rabbit and it eats the rabbit then the rabbit is kind. If something eats the rabbit then the rabbit chases the tiger. If something sees the tiger then it does not chase the tiger. If something eats the lion then it does not chase the tiger. If something eats the rabbit then it sees the lion. If something chases the tiger and it is not blue then it eats the lion. If the lion chases the tiger then the lion sees the tiger. If something eats the tiger and it does not see the lion then the lion chases the rabbit.
The tiger sees the lion.
@0: The lion chases the rabbit.[(triple1)] The lion does not eat the rabbit.[(triple2)] The lion eats the tiger.[(triple3)] The lion is not blue.[(triple4)] The lion is red.[(triple5)] The lion sees the rabbit.[(triple6)] The lion sees the tiger.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is kind.[(triple9)] The rabbit sees the lion.[(triple10)] The tiger does not chase the rabbit.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is blue.[(triple13)] The tiger is round.[(triple14)] The tiger sees the lion.[(triple15 OR ((triple12) -> rule5))] @1: The lion does not chase the tiger.[(((triple7) -> rule3))] The rabbit chases the tiger.[(((triple12) -> rule2))]