The bear chases the tiger. The bear eats the tiger. The bear is green. The bear is red. The bear likes the lion. The lion chases the bear. The lion chases the tiger. The lion eats the bear. The lion eats the tiger. The lion is blue. The lion is green. The lion likes the bear. The lion likes the tiger. The tiger eats the bear. The tiger is kind. If someone likes the bear then the bear likes the tiger. If someone eats the tiger then they eat the lion. If someone chases the tiger and they like the lion then the tiger chases the bear. If someone chases the bear then they eat the tiger. Green people are kind. If someone likes the tiger then the tiger is green.
The bear is cold.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear likes the lion.[(triple5)] The lion chases the bear.[(triple6)] The lion chases the tiger.[(triple7)] The lion eats the bear.[(triple8)] The lion eats the tiger.[(triple9 OR ((triple6) -> rule4))] The lion is blue.[(triple10)] The lion is green.[(triple11)] The lion likes the bear.[(triple12)] The lion likes the tiger.[(triple13)] The tiger eats the bear.[(triple14)] The tiger is kind.[(triple15 OR ((((triple13) -> rule6)) -> rule5) OR ((((((triple12) -> rule1)) -> rule6)) -> rule5))] @1: The bear eats the lion.[(((triple2) -> rule2))] The bear is kind.[(((triple3) -> rule5))] The bear likes the tiger.[(((triple12) -> rule1))] The lion eats the lion.[(((triple9) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] The lion is kind.[(((triple11) -> rule5))] The tiger chases the bear.[(((triple1 triple5) -> rule3))] The tiger is green.[(((triple13) -> rule6) OR ((((triple12) -> rule1)) -> rule6))] @2: The tiger eats the tiger.[(((((triple1 triple5) -> rule3)) -> rule4))] @3: The tiger eats the lion.[(((((((triple1 triple5) -> rule3)) -> rule4)) -> rule2))]