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