The bear eats the rabbit. The bear eats the tiger. The bear is green. The bear likes the tiger. The bear sees the rabbit. The bear sees the tiger. The rabbit likes the tiger. The tiger is green. The tiger is young. The tiger likes the bear. The tiger likes the rabbit. The tiger sees the rabbit. If something likes the tiger and it likes the rabbit then it eats the tiger. If something sees the rabbit and it likes the rabbit then the rabbit sees the tiger. If the rabbit likes the tiger then the rabbit is green. If something sees the tiger then it is kind. If something sees the bear and the bear sees the rabbit then it is green. If something likes the rabbit then it is green. If something sees the rabbit and it is young then it is red. If something likes the tiger and the tiger is young then it sees the rabbit.
The bear does not eat the tiger.
@0: The bear eats the rabbit.[(triple1)] The bear eats the tiger.[(triple2)] The bear is green.[(triple3)] The bear likes the tiger.[(triple4)] The bear sees the rabbit.[(triple5 OR ((triple4 triple9) -> rule8))] The bear sees the tiger.[(triple6)] The rabbit likes the tiger.[(triple7)] The tiger is green.[(triple8 OR ((triple11) -> rule6))] The tiger is young.[(triple9)] The tiger likes the bear.[(triple10)] The tiger likes the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The bear is kind.[(((triple6) -> rule4))] The rabbit is green.[(((triple7) -> rule3))] The rabbit sees the rabbit.[(((triple7 triple9) -> rule8))] The rabbit sees the tiger.[(((triple12 triple11) -> rule2))] The tiger is red.[(((triple12 triple9) -> rule7))] @2: The rabbit is kind.[(((((triple12 triple11) -> rule2)) -> rule4))]