The cow chases the rabbit. The cow eats the rabbit. The cow is big. The cow is cold. The cow is green. The cow is nice. The cow is young. The cow sees the rabbit. The rabbit chases the cow. The rabbit does not eat the cow. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is young. The rabbit sees the cow. If someone eats the rabbit and they see the cow then the rabbit chases the cow. If the cow sees the rabbit then the cow eats the rabbit. If someone is green and they eat the cow then they do not chase the rabbit. If the cow eats the rabbit and the rabbit eats the cow then the cow is young. If someone chases the rabbit then they are cold. If someone sees the rabbit and they do not chase the rabbit then they are cold. If someone chases the cow and the cow does not see the rabbit then they are cold. If someone is big and they chase the cow then they are cold.
The cow is not young.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2 OR ((triple8) -> rule2))] The cow is big.[(triple3)] The cow is cold.[(triple4 OR ((triple1) -> rule5))] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow is young.[(triple7)] The cow sees the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit does not eat the cow.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the cow.[(triple15)]