The cat eats the cow. The cat is not cold. The cat is green. The cat is kind. The cat is not round. The cat likes the cow. The cat visits the cow. The cow eats the cat. The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is round. The cow likes the cat. The cow does not visit the cat. If the cat is round then the cat visits the cow. If someone eats the cat and they eat the cow then the cat eats the cow. If the cat visits the cow and the cow likes the cat then the cat eats the cow. If someone likes the cat and the cat visits the cow then the cat likes the cow. If someone likes the cat and they eat the cow then the cat likes the cow. If someone visits the cat then they like the cat. If someone likes the cat then they are round. If the cow visits the cat then the cow is not round.
The cow is not blue.
@0: The cat eats the cow.[(triple1 OR ((triple7 triple14) -> rule3))] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is not cold.[(triple2)] The cat is not round.[(triple5)] The cat likes the cow.[(triple6 OR ((triple14 triple7) -> rule4))] The cat visits the cow.[(triple7)] The cow does not visit the cat.[(triple15)] The cow eats the cat.[(triple8)] The cow is blue.[(triple9)] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow is kind.[(triple12)] The cow is round.[(triple13 OR ((triple14) -> rule7))] The cow likes the cat.[(triple14)]