The bear eats the tiger. The bear is big. The bear is kind. The bear is young. The bear likes the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is young. The rabbit sees the bear. The tiger is big. The tiger likes the bear. The tiger likes the rabbit. If someone is young and they eat the tiger then they like the bear.
The rabbit is not kind.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The bear likes the tiger.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the bear.[(triple9)] The tiger is big.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The bear likes the bear.[(((triple4 triple1) -> rule1))] The rabbit likes the bear.[(((triple8 triple6) -> rule1))]