The cow eats the rabbit. The cow eats the squirrel. The cow is green. The cow is kind. The cow is young. The cow does not need the rabbit. The cow visits the rabbit. The rabbit is not kind. The rabbit is nice. The rabbit is young. The rabbit does not visit the cow. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is green. The squirrel is kind. If someone is kind and they visit the cow then they eat the squirrel. If someone is kind then they eat the squirrel. If someone needs the rabbit then the rabbit is round. If someone needs the rabbit and the rabbit needs the cow then the cow does not need the rabbit. If someone needs the squirrel and the squirrel is kind then they are young. If someone visits the squirrel then they are nice. If someone is green then they do not visit the cow. If someone eats the squirrel then they visit the squirrel.
The rabbit eats the squirrel.
@0: The cow does not need the rabbit.[(triple6)] The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2 OR ((triple4) -> rule2))] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow visits the rabbit.[(triple7)] The rabbit does not visit the cow.[(triple11)] The rabbit is nice.[(triple9 OR ((triple12) -> rule6))] The rabbit is not kind.[(triple8)] The rabbit is young.[(triple10)] The rabbit visits the squirrel.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is green.[(triple14)] The squirrel is kind.[(triple15)] @1: The cow does not visit the cow.[(((triple3) -> rule7))] The cow visits the squirrel.[(((triple2) -> rule8) OR ((((triple4) -> rule2)) -> rule8))] The squirrel does not visit the cow.[(((triple14) -> rule7))] The squirrel eats the squirrel.[(((triple15) -> rule2))] @2: The cow is nice.[(((((triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8)) -> rule6))] The squirrel visits the squirrel.[(((((triple15) -> rule2)) -> rule8))] @3: The squirrel is nice.[(((((((triple15) -> rule2)) -> rule8)) -> rule6))]