The bear chases the rabbit. The bear needs the rabbit. The bear sees the rabbit. The cat sees the dog. The dog chases the bear. The dog is round. The dog sees the cat. The rabbit chases the dog. The rabbit is big. The rabbit sees the bear. If someone chases the bear then they are big. If someone chases the bear and the bear is not blue then the bear is round. If the bear does not chase the dog then the bear sees the rabbit. If someone chases the cat then the cat needs the rabbit. If someone chases the bear and they chase the rabbit then the rabbit chases the bear. If the rabbit is big and the dog does not chase the rabbit then the dog chases the bear. If the cat does not chase the rabbit then the rabbit does not need the cat. If someone chases the cat then the cat is blue.
The bear needs the bear.
@0: The bear chases the rabbit.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the rabbit.[(triple3)] The cat sees the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is round.[(triple6)] The dog sees the cat.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is big.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The dog is big.[(((triple5) -> rule1))]