The cow chases the rabbit. The cow is big. The cow is round. The cow likes the rabbit. The cow needs the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is round. The rabbit likes the cow. The rabbit needs the cow. If someone needs the rabbit and the rabbit likes the cow then they are round. If someone likes the cow then they like the rabbit. If someone needs the rabbit and the rabbit is blue then the rabbit chases the cow. If someone is round then they chase the cow. If someone chases the rabbit then they chase the cow. If the cow is round then the cow is big.
The rabbit is big.
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2 OR ((triple3) -> rule6) OR ((((triple5 triple9) -> rule1)) -> rule6))] The cow is round.[(triple3 OR ((triple5 triple9) -> rule1))] The cow likes the rabbit.[(triple4)] The cow needs the rabbit.[(triple5)] The rabbit chases the cow.[(triple6 OR ((triple8) -> rule4))] The rabbit is big.[(triple7)] The rabbit is round.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit needs the cow.[(triple10)] @1: The cow chases the cow.[(((triple1) -> rule5) OR ((triple3) -> rule4) OR ((((triple5 triple9) -> rule1)) -> rule4))] The rabbit likes the rabbit.[(((triple9) -> rule2))]