The bear is round. The dog eats the bear. The lion is young. The tiger sees the bear. If something is round and it visits the tiger then it eats the lion. If something eats the tiger then the tiger eats the dog. If something is red and it eats the lion then the lion sees the tiger. If the tiger is round and the tiger eats the dog then the tiger eats the bear. If the bear is big then the bear is round. If something eats the tiger and it eats the bear then the bear is round. If something sees the lion then it eats the bear. If something eats the bear then the bear sees the lion.
The bear does not see the tiger.
@0: The bear is round.[(triple1)] The dog eats the bear.[(triple2)] The lion is young.[(triple3)] The tiger sees the bear.[(triple4)] @1: The bear sees the lion.[(((triple2) -> rule8))] @2: The bear eats the bear.[(((((triple2) -> rule8)) -> rule7))]