The bear eats the mouse. The bear is not green. The bear likes the mouse. The bear visits the mouse. The mouse eats the bear. The mouse is not blue. The mouse is green. The mouse is not kind. The mouse is nice. The mouse likes the bear. Blue, green people are not big. If someone is green then they do not eat the mouse. If someone visits the mouse then they are blue.
The bear is not big.
@0: The bear eats the mouse.[(triple1)] The bear is not green.[(triple2)] The bear likes the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is green.[(triple7)] The mouse is nice.[(triple9)] The mouse is not blue.[(triple6)] The mouse is not kind.[(triple8)] The mouse likes the bear.[(triple10)] @1: The bear is blue.[(((triple4) -> rule3))] The mouse does not eat the mouse.[(((triple7) -> rule2))]