The bear is not green. The bear sees the rabbit. The dog chases the bear. The dog chases the rabbit. The dog is green. The dog needs the bear. The dog needs the rabbit. The rabbit chases the dog. The rabbit is not young. The rabbit needs the dog. If someone is young then they see the rabbit. If someone needs the rabbit then the rabbit does not see the bear. If someone chases the dog and the dog is green then the dog sees the bear. If someone sees the rabbit and they are not green then they need the dog. If someone needs the bear and they are not cold then the bear needs the dog. If someone is green then they chase the dog.
The dog does not need the dog.
@0: The bear is not green.[(triple1)] The bear sees the rabbit.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the rabbit.[(triple4)] The dog is green.[(triple5)] The dog needs the bear.[(triple6)] The dog needs the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is not young.[(triple9)] The rabbit needs the dog.[(triple10)] @1: The bear needs the dog.[(((triple2 triple1) -> rule4))] The dog chases the dog.[(((triple5) -> rule6))] The dog sees the bear.[(((triple8 triple5) -> rule3) OR ((((triple5) -> rule6) triple5) -> rule3))] The rabbit does not see the bear.[(((triple7) -> rule2))]