The cow is blue. The cow is young. The mouse likes the cow. The mouse sees the cow. The squirrel is big. The squirrel likes the mouse. The squirrel sees the cow. If someone sees the cow and the cow is kind then they like the squirrel. If someone is nice and they see the mouse then they like the mouse. If someone chases the cow and the cow chases the mouse then they chase the squirrel. If the cow likes the mouse and the mouse is blue then the cow is big. All young people are nice. If someone sees the squirrel then they see the cow.
The cow is not big.
@0: The cow is blue.[(triple1)] The cow is young.[(triple2)] The mouse likes the cow.[(triple3)] The mouse sees the cow.[(triple4)] The squirrel is big.[(triple5)] The squirrel likes the mouse.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The cow is nice.[(((triple2) -> rule5))]