The bear is big. The bear is cold. The bear is green. The bear sees the tiger. The bear visits the tiger. The tiger eats the bear. The tiger visits the bear. If something sees the tiger and the tiger eats the bear then it visits the bear. If something eats the tiger then it is not big. If the bear sees the tiger and the bear eats the tiger then the bear visits the tiger. If the bear eats the tiger and the bear sees the tiger then the tiger sees the bear. If the bear sees the tiger and the tiger eats the bear then the tiger sees the bear. If something sees the bear then it eats the tiger.
The tiger does not eat the tiger.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear visits the bear.[(((triple4 triple6) -> rule1))] The tiger sees the bear.[(((triple4 triple6) -> rule5))] @2: The tiger eats the tiger.[(((((triple4 triple6) -> rule5)) -> rule6))] @3: The tiger is not big.[(((((((triple4 triple6) -> rule5)) -> rule6)) -> rule2))]