The cow chases the rabbit. The cow is big. The cow is cold. The cow is kind. The cow is nice. The cow is round. The cow needs the rabbit. The cow sees the rabbit. The rabbit chases the cow. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit needs the cow. The rabbit sees the cow. If someone is nice then they chase the cow.
The rabbit needs the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow needs the rabbit.[(triple7)] The cow sees the rabbit.[(triple8)] The rabbit chases the cow.[(triple9 OR ((triple12) -> rule1))] The rabbit is cold.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cow chases the cow.[(((triple5) -> rule1))]