The bear likes the cow. The bear needs the cow. The cow needs the bear. The tiger is big. The tiger is green. The tiger likes the bear. The tiger needs the bear. If something needs the tiger then the tiger sees the cow. If something is big and it sees the cow then it likes the tiger. If something needs the cow and it is big then it is nice. If the tiger is green and the tiger is big then the tiger is kind. All nice things are big. If something likes the tiger and it is big then the tiger needs the bear. If something is rough then it sees the tiger. If something is nice then it likes the bear.
The cow does not like the bear.
@0: The bear likes the cow.[(triple1)] The bear needs the cow.[(triple2)] The cow needs the bear.[(triple3)] The tiger is big.[(triple4)] The tiger is green.[(triple5)] The tiger likes the bear.[(triple6)] The tiger needs the bear.[(triple7)] @1: The tiger is kind.[(((triple5 triple4) -> rule4))]