The cow sees the squirrel. The mouse needs the cow. The rabbit likes the cow. The squirrel is round. If someone is green and they need the rabbit then the rabbit sees the mouse. If someone sees the squirrel then the squirrel is big. If the rabbit needs the squirrel and the rabbit is green then the squirrel sees the mouse. If someone is rough and they see the mouse then the mouse sees the squirrel. If someone needs the squirrel and they like the rabbit then the rabbit needs the squirrel. If someone needs the rabbit then they are cold. If someone needs the squirrel and the squirrel needs the mouse then the mouse likes the cow. If someone likes the cow then the cow sees the mouse.
The squirrel is not round.
@0: The cow sees the squirrel.[(triple1)] The mouse needs the cow.[(triple2)] The rabbit likes the cow.[(triple3)] The squirrel is round.[(triple4)] @1: The cow sees the mouse.[(((triple3) -> rule8))] The squirrel is big.[(((triple1) -> rule2))]