The bear is big. The bear is young. The bear likes the tiger. The bear sees the tiger. The rabbit likes the bear. The rabbit likes the tiger. The rabbit sees the tiger. The tiger eats the bear. The tiger is red. The tiger likes the rabbit. If something sees the tiger then it sees the rabbit. If something sees the rabbit then the rabbit is blue.
The rabbit sees the rabbit.
@0: The bear is big.[(triple1)] The bear is young.[(triple2)] The bear likes the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The rabbit likes the bear.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is red.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The bear sees the rabbit.[(((triple4) -> rule1))] The rabbit sees the rabbit.[(((triple7) -> rule1))] @2: The rabbit is blue.[(((((triple4) -> rule1)) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]