The cow eats the rabbit. The cow eats the squirrel. The cow likes the rabbit. The cow likes the squirrel. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit likes the cow. The rabbit visits the squirrel. The squirrel likes the cow. If someone likes the squirrel then they are young. If someone eats the squirrel and the squirrel is young then the squirrel eats the rabbit. If someone eats the cow and they like the squirrel then the squirrel is young. If someone is green then they visit the squirrel. If someone likes the rabbit and the rabbit is blue then they visit the squirrel. If someone visits the cow and the cow eats the rabbit then they eat the cow. If someone is rough and they visit the squirrel then the squirrel is rough. If someone eats the squirrel and the squirrel is cold then they eat the cow.
The cow is rough.
@0: The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2)] The cow likes the rabbit.[(triple3)] The cow likes the squirrel.[(triple4)] The rabbit eats the cow.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is green.[(triple7)] The rabbit likes the cow.[(triple8)] The rabbit visits the squirrel.[(triple9 OR ((triple7) -> rule4))] The squirrel likes the cow.[(triple10)] @1: The cow is young.[(((triple4) -> rule1))] The cow visits the squirrel.[(((triple3 triple6) -> rule5))]