The bald eagle is green. The bear sees the bald eagle. The mouse is big. The tiger likes the bear. If someone likes the mouse then they do not need the tiger. If someone sees the tiger then the tiger needs the mouse. If someone is big then they are blue.
The mouse is not blue.
@0: The bald eagle is green.[(triple1)] The bear sees the bald eagle.[(triple2)] The mouse is big.[(triple3)] The tiger likes the bear.[(triple4)] @1: The mouse is blue.[(((triple3) -> rule3))]