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