The bear does not eat the tiger. The bear is round. The bear is young. The bear likes the cow. The cow eats the bear. The cow eats the tiger. The cow is blue. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger is kind. The tiger is young. The tiger likes the bear. The tiger likes the cow. The tiger sees the bear. The tiger does not see the cow. If something likes the cow then it likes the bear. If something is nice and it likes the bear then it does not like the tiger.
The tiger is kind.
@0: The bear does not eat the tiger.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The cow is young.[(triple8)] The cow likes the tiger.[(triple9)] The cow sees the tiger.[(triple10)] The tiger does not see the cow.[(triple16)] The tiger is kind.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bear.[(triple13 OR ((triple14) -> rule1))] The tiger likes the cow.[(triple14)] The tiger sees the bear.[(triple15)] @1: The bear likes the bear.[(((triple4) -> rule1))]