The bear needs the tiger. The cow is not nice. The dog needs the tiger. The tiger likes the cow. If something needs the cow and the cow likes the tiger then the tiger is nice. If something likes the bear then the bear sees the tiger. If the dog sees the tiger and the cow does not need the dog then the dog likes the tiger. If something needs the tiger then the tiger likes the bear. If something likes the cow then it is big. If something is big and it does not like the bear then it sees the bear.
The bear sees the dog.
@0: The bear needs the tiger.[(triple1)] The cow is not nice.[(triple2)] The dog needs the tiger.[(triple3)] The tiger likes the cow.[(triple4)] @1: The tiger is big.[(((triple4) -> rule5))] The tiger likes the bear.[(((triple1) -> rule4) OR ((triple3) -> rule4))] @2: The bear sees the tiger.[(((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule4)) -> rule2))]