The cat eats the cow. The cat is not kind. The cat is nice. The cat is red. The cat is round. The cat is young. The cat needs the cow. The cat sees the cow. The cow eats the cat. The cow is kind. The cow is nice. The cow is round. The cow is young. The cow needs the cat. The cow does not see the cat. If something needs the cat then the cat eats the cow. If the cow is young and the cow eats the cat then the cat eats the cow. If the cow sees the cat and the cow needs the cat then the cow is round. If the cat is kind and the cat does not need the cow then the cow is young. If something eats the cat then it is round. If something eats the cow and it does not need the cat then it is not kind.
The cow is not round.
@0: The cat eats the cow.[(triple1 OR ((triple14) -> rule1) OR ((triple13 triple9) -> rule2))] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat needs the cow.[(triple7)] The cat sees the cow.[(triple8)] The cow does not see the cat.[(triple15)] The cow eats the cat.[(triple9)] The cow is kind.[(triple10)] The cow is nice.[(triple11)] The cow is round.[(triple12 OR ((triple9) -> rule5))] The cow is young.[(triple13)] The cow needs the cat.[(triple14)]