The cow is kind. The cow is not nice. The cow is not red. The cow is round. The cow is not young. The cow likes the rabbit. The cow needs the rabbit. The cow does not see the rabbit. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is not young. The rabbit likes the cow. The rabbit needs the cow. The rabbit sees the cow. If something likes the cow then it sees the rabbit. If the rabbit needs the cow and the rabbit does not like the cow then the cow likes the rabbit. If something is red and nice then it needs the cow. If something needs the cow and the cow sees the rabbit then the cow is nice. If something sees the cow and the cow sees the rabbit then it likes the rabbit. If the cow does not see the rabbit then the rabbit sees the cow. If something likes the rabbit and it does not see the rabbit then it is round. If the cow sees the rabbit and the cow does not like the rabbit then the rabbit is young.
The cow is nice.
@0: The cow does not see the rabbit.[(triple8)] The cow is kind.[(triple1)] The cow is not nice.[(triple2)] The cow is not red.[(triple3)] The cow is not young.[(triple5)] The cow is round.[(triple4 OR ((triple6 triple8) -> rule7))] The cow likes the rabbit.[(triple6)] The cow needs the rabbit.[(triple7)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is not young.[(triple13)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the cow.[(triple14)] The rabbit needs the cow.[(triple15 OR ((triple11 triple10) -> rule3))] The rabbit sees the cow.[(triple16 OR ((triple8) -> rule6))] @1: The rabbit sees the rabbit.[(((triple14) -> rule1))]