The cow is blue. The cow sees the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse visits the cow. The squirrel eats the mouse. The squirrel is blue. The squirrel sees the cow. The squirrel visits the cow. The squirrel visits the mouse. If the mouse is rough and the mouse sees the cow then the cow is rough. If someone eats the squirrel then the squirrel sees the mouse. If the mouse is big and the mouse visits the cow then the cow visits the mouse. If someone visits the mouse then they are big. If someone eats the mouse and the mouse visits the cow then they visit the mouse. If someone sees the mouse then they are rough.
The cow is young.
@0: The cow is blue.[(triple1)] The cow sees the squirrel.[(triple2)] The mouse eats the cow.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is big.[(triple5)] The mouse is blue.[(triple6)] The mouse visits the cow.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is blue.[(triple9)] The squirrel sees the cow.[(triple10)] The squirrel visits the cow.[(triple11)] The squirrel visits the mouse.[(triple12 OR ((triple8 triple7) -> rule5))] @1: The cow visits the mouse.[(((triple5 triple7) -> rule3))] The squirrel is big.[(((triple12) -> rule4) OR ((((triple8 triple7) -> rule5)) -> rule4))] The squirrel sees the mouse.[(((triple4) -> rule2))] @2: The cow is big.[(((((triple5 triple7) -> rule3)) -> rule4))] The squirrel is rough.[(((((triple4) -> rule2)) -> rule6))]