The cow is big. The cow is round. The cow sees the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is nice. The rabbit sees the cow. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel eats the rabbit. If someone is nice and they eat the rabbit then the rabbit eats the squirrel. If someone eats the rabbit and the rabbit is green then the rabbit visits the cow. If someone sees the squirrel and the squirrel is nice then they eat the cow. If the cow is round then the cow is green. If the squirrel eats the rabbit then the rabbit visits the cow. If someone sees the cow and the cow visits the squirrel then the squirrel eats the rabbit.
The cow does not eat the cow.
@0: The cow is big.[(triple1)] The cow is round.[(triple2)] The cow sees the rabbit.[(triple3)] The rabbit eats the cow.[(triple4)] The rabbit is big.[(triple5)] The rabbit is nice.[(triple6)] The rabbit sees the cow.[(triple7)] The rabbit visits the cow.[(triple8 OR ((triple10) -> rule5))] The rabbit visits the squirrel.[(triple9)] The squirrel eats the rabbit.[(triple10)] @1: The cow is green.[(((triple2) -> rule4))]