The cow chases the rabbit. The cow does not eat the rabbit. The cow is not blue. The cow is kind. The cow is round. The cow is not young. The cow visits the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is not blue. The rabbit is green. The rabbit is kind. The rabbit is not round. The rabbit is young. The rabbit visits the cow. If something is green then it chases the cow.
The cow visits the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow does not eat the rabbit.[(triple2)] The cow is kind.[(triple4)] The cow is not blue.[(triple3)] The cow is not young.[(triple6)] The cow is round.[(triple5)] The cow visits the rabbit.[(triple7)] The rabbit chases the cow.[(triple8 OR ((triple11) -> rule1))] The rabbit eats the cow.[(triple9)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not blue.[(triple10)] The rabbit is not round.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the cow.[(triple15)]