The bear chases the cow. The bear chases the rabbit. The bear is big. The bear is round. The bear likes the dog. The bear needs the dog. The cow chases the bear. The cow is blue. The cow needs the bear. The dog is big. The rabbit is big. The rabbit is kind. The rabbit likes the cow. The rabbit needs the bear. The rabbit needs the dog. If the bear needs the dog then the dog chases the bear. If the bear is big and the bear likes the cow then the cow needs the dog. If someone needs the cow then they chase the rabbit. If someone needs the rabbit and the rabbit is big then the rabbit needs the bear. If someone needs the bear then they are round. If someone chases the bear then they need the cow. If someone needs the rabbit and they chase the dog then the dog is blue. If someone needs the dog and the dog chases the rabbit then the dog likes the bear.
The cow does not need the rabbit.
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the dog.[(triple6)] The cow chases the bear.[(triple7)] The cow is blue.[(triple8)] The cow needs the bear.[(triple9)] The dog is big.[(triple10)] The rabbit is big.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The cow is round.[(((triple9) -> rule5))] The cow needs the cow.[(((triple7) -> rule6))] The dog chases the bear.[(((triple6) -> rule1))] The rabbit is round.[(((triple14) -> rule5))] @2: The cow chases the rabbit.[(((((triple7) -> rule6)) -> rule3))] The dog needs the cow.[(((((triple6) -> rule1)) -> rule6))] @3: The dog chases the rabbit.[(((((((triple6) -> rule1)) -> rule6)) -> rule3))] @4: The dog likes the bear.[(((triple15 ((((((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule8) OR ((triple6 ((((((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule8))]