The bear chases the dog. The bear chases the rabbit. The bear is green. The bear is red. The bear sees the mouse. The dog chases the bear. The dog visits the mouse. The mouse chases the bear. The mouse is big. The mouse is red. The mouse sees the dog. The mouse visits the bear. The rabbit is big. The rabbit sees the bear. The rabbit sees the dog. The rabbit sees the mouse. If someone is green and they chase the rabbit then the rabbit chases the dog. If someone sees the mouse and the mouse chases the dog then they chase the rabbit. If someone visits the bear then the bear is green. If someone chases the dog then they chase the bear. If someone is big and green then they visit the mouse. If someone chases the bear and the bear visits the mouse then the bear chases the dog.
The bear does not visit the bear.
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is green.[(triple3 OR ((triple12) -> rule3))] The bear is red.[(triple4)] The bear sees the mouse.[(triple5)] The dog chases the bear.[(triple6)] The dog visits the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse is big.[(triple9)] The mouse is red.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the bear.[(triple12)] The rabbit is big.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear chases the bear.[(((triple1) -> rule4))] The rabbit chases the dog.[(((triple3 triple2) -> rule1) OR ((((triple12) -> rule3) triple2) -> rule1))] @2: The rabbit chases the bear.[(((((triple3 triple2) -> rule1)) -> rule4) OR ((((((triple12) -> rule3) triple2) -> rule1)) -> rule4))]