The bear is cold. The bear likes the lion. The bear does not see the tiger. The lion is green. The lion sees the bear. The tiger is not big. The tiger is nice. The tiger sees the lion. The tiger visits the bear. The tiger visits the lion. If something is kind and it visits the tiger then it visits the bear. If something sees the bear then it visits the bear. If something is nice and big then it visits the bear. If something sees the bear and the bear is green then the bear does not like the tiger. If something likes the tiger and it does not like the bear then the tiger sees the bear. If the tiger is not kind then the tiger visits the lion. If something likes the lion and it is kind then it is cold. If something is nice then it likes the tiger.
The bear does not visit the bear.
@0: The bear does not see the tiger.[(triple3)] The bear is cold.[(triple1)] The bear likes the lion.[(triple2)] The lion is green.[(triple4)] The lion sees the bear.[(triple5)] The tiger is nice.[(triple7)] The tiger is not big.[(triple6)] The tiger sees the lion.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion visits the bear.[(((triple5) -> rule2))] The tiger likes the tiger.[(((triple7) -> rule8))]