The cat eats the cow. The cat is kind. The cat is nice. The cat is rough. The cat is round. The cat needs the cow. The cat visits the cow. The cow eats the cat. The cow is cold. The cow is round. The cow needs the cat. The cow visits the cat. If someone eats the cat then the cat visits the cow. If someone visits the cat and they visit the cow then the cat eats the cow. If someone is nice and they eat the cow then the cow needs the cat.
The cow is round.
@0: The cat eats the cow.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat needs the cow.[(triple6)] The cat visits the cow.[(triple7 OR ((triple8) -> rule1))] The cow eats the cat.[(triple8)] The cow is cold.[(triple9)] The cow is round.[(triple10)] The cow needs the cat.[(triple11 OR ((triple3 triple1) -> rule3))] The cow visits the cat.[(triple12)]