The cow eats the squirrel. The cow is rough. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is blue. The squirrel is green. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. If someone is cold and they eat the cow then they eat the squirrel. If the squirrel eats the cow and the squirrel is cold then the cow eats the squirrel. If the squirrel eats the cow then the cow needs the squirrel. If someone needs the squirrel and the squirrel likes the cow then they eat the squirrel. If someone is green and they like the squirrel then they eat the squirrel. If someone likes the cow and the cow is young then they need the cow. If someone likes the squirrel and they eat the cow then the squirrel likes the cow. If the squirrel is blue and the squirrel likes the cow then the squirrel is green.
The squirrel does not eat the squirrel.
@0: The cow eats the squirrel.[(triple1 OR ((triple4 triple9) -> rule4) OR ((((triple5) -> rule3) triple9) -> rule4))] The cow is rough.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the squirrel.[(triple4 OR ((triple5) -> rule3))] The squirrel eats the cow.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is green.[(triple7 OR ((triple6 triple9) -> rule8))] The squirrel is young.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel needs the cow.[(triple10)]