The cow is kind. The cow is nice. The cow is red. The cow is round. The cow is young. The cow likes the rabbit. The cow does not need the rabbit. The cow sees the rabbit. The rabbit is kind. The rabbit is nice. The rabbit is not red. The rabbit is round. The rabbit likes the cow. The rabbit needs the cow. The rabbit sees the cow. If someone needs the rabbit then the rabbit sees the cow. If someone likes the rabbit then the rabbit needs the cow. If someone likes the cow then the cow does not need the rabbit. If someone is red and they need the cow then the cow sees the rabbit. If the cow needs the rabbit and the rabbit does not like the cow then the rabbit is round. If someone needs the rabbit then they do not need the cow. If someone likes the rabbit and they are not nice then they see the rabbit. If someone is red then they like the rabbit.
The cow is not kind.
@0: The cow does not need the rabbit.[(triple7 OR ((triple13) -> rule3))] The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the rabbit.[(triple6 OR ((triple3) -> rule8))] The cow sees the rabbit.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the cow.[(triple14 OR ((triple6) -> rule2) OR ((((triple3) -> rule8)) -> rule2))] The rabbit sees the cow.[(triple15)]