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