The cow is not young. The cow does not see the rabbit. The rabbit eats the cow. The rabbit is green. The rabbit is round. The rabbit needs the cow. The rabbit does not see the cow. If someone sees the rabbit and they need the cow then the rabbit is not round. If someone needs the rabbit and they do not see the cow then the rabbit is round. If someone is round and they do not need the rabbit then they eat the cow. If someone eats the cow and they are round then the cow is not round. If someone needs the rabbit and the rabbit eats the cow then they see the rabbit. If someone sees the cow then the cow does not see the rabbit. If the cow is not round then the cow is not green. If someone sees the rabbit and they are not round then the rabbit is not big.
The rabbit sees the cow.
@0: The cow does not see the rabbit.[(triple2)] The cow is not young.[(triple1)] The rabbit does not see the cow.[(triple7)] The rabbit eats the cow.[(triple3)] The rabbit is green.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the cow.[(triple6)] @1: The cow is not round.[(((triple3 triple5) -> rule4))] @2: The cow is not green.[(((((triple3 triple5) -> rule4)) -> rule7))]