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