The cow visits the mouse. The mouse eats the cow. The mouse visits the cow. If someone visits the mouse and the mouse likes the cow then the mouse is big. If someone is big and they visit the mouse then the mouse is green. If someone is blue then they like the mouse. If someone visits the cow and they are not big then the cow likes the mouse. If someone visits the cow and the cow likes the mouse then they are young. All big people are young.
The mouse is not big.
@0: The cow visits the mouse.[(triple1)] The mouse eats the cow.[(triple2)] The mouse visits the cow.[(triple3)]