The bear eats the lion. The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear likes the lion. The bear likes the tiger. The bear sees the tiger. The lion is cold. The lion is red. The lion likes the bear. The lion sees the bear. The tiger eats the bear. The tiger is green. The tiger sees the lion. If someone eats the tiger and they are rough then the tiger is blue. If someone is blue and they see the tiger then the tiger is cold. If someone is red and they see the bear then the bear eats the lion. If someone sees the tiger then the tiger likes the bear. If someone likes the lion and they are blue then the lion likes the bear. If someone sees the tiger and they like the bear then they see the bear. If the lion is blue then the lion eats the tiger. All blue people are red.
The tiger is not red.
@0: The bear eats the lion.[(triple1 OR ((triple10 triple12) -> rule3))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear likes the lion.[(triple6)] The bear likes the tiger.[(triple7)] The bear sees the tiger.[(triple8)] The lion is cold.[(triple9)] The lion is red.[(triple10)] The lion likes the bear.[(triple11 OR ((triple6 triple2) -> rule5))] The lion sees the bear.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is green.[(triple14)] The tiger sees the lion.[(triple15)] @1: The bear is red.[(((triple2) -> rule8))] The tiger is cold.[(((triple2 triple8) -> rule2))] The tiger likes the bear.[(((triple8) -> rule4))]