The cat eats the cow. The cat is not big. The cat is blue. The cat needs the cow. The cat does not visit the cow. The cow is kind. The cow visits the cat. If the cow visits the cat and the cat does not eat the cow then the cow needs the cat. If someone needs the cat and the cat needs the cow then they eat the cat. If someone needs the cat and they do not eat the cow then the cat needs the cow. If someone is kind then they need the cat. If someone visits the cow and they do not eat the cow then they need the cow. If the cow is not green then the cow is big. If someone eats the cow then the cow is not cold. If the cow is green and the cow eats the cat then the cow is not cold.
The cow does not eat the cat.
@0: The cat does not visit the cow.[(triple5)] The cat eats the cow.[(triple1)] The cat is blue.[(triple3)] The cat is not big.[(triple2)] The cat needs the cow.[(triple4)] The cow is kind.[(triple6)] The cow visits the cat.[(triple7)] @1: The cow is not cold.[(((triple1) -> rule7))] The cow needs the cat.[(((triple6) -> rule4))] @2: The cow eats the cat.[(((((triple6) -> rule4) triple4) -> rule2))]