The bear is not kind. The bear sees the lion. The lion does not eat the tiger. The lion is nice. The lion is red. The lion sees the bear. The lion sees the tiger. The tiger eats the bear. The tiger eats the lion. The tiger is cold. The tiger is not red. The tiger sees the bear. The tiger sees the lion. The tiger visits the bear. The tiger does not visit the lion. If something is cold and it does not visit the bear then it visits the tiger. If something visits the bear and it is not nice then it is not red. If the bear eats the tiger then the tiger does not eat the bear. If something eats the bear then the bear sees the tiger. If something sees the tiger then the tiger is not kind. If something visits the lion then the lion visits the tiger. If something eats the bear then the bear is cold. If the bear eats the lion and the bear does not visit the tiger then the tiger does not see the bear.
The bear eats the tiger.
@0: The bear is not kind.[(triple1)] The bear sees the lion.[(triple2)] The lion does not eat the tiger.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion sees the bear.[(triple6)] The lion sees the tiger.[(triple7)] The tiger does not visit the lion.[(triple15)] The tiger eats the bear.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is cold.[(triple10)] The tiger is not red.[(triple11)] The tiger sees the bear.[(triple12)] The tiger sees the lion.[(triple13)] The tiger visits the bear.[(triple14)] @1: The bear is cold.[(((triple8) -> rule7))] The bear sees the tiger.[(((triple8) -> rule4))] The tiger is not kind.[(((triple7) -> rule5) OR ((((triple8) -> rule4)) -> rule5))]