The bear chases the lion. The bear chases the mouse. The bear is red. The bear needs the lion. The bear sees the lion. The dog needs the mouse. The dog sees the lion. The dog sees the mouse. The lion is green. The lion is young. The lion sees the bear. The mouse chases the lion. The mouse needs the dog. The mouse sees the bear. The mouse sees the dog. The mouse sees the lion. If someone is green and they see the dog then the dog needs the mouse. If someone chases the lion and the lion is round then they are red. If someone sees the lion then the lion chases the dog. If the dog is round and the dog is rough then the dog chases the mouse. If someone sees the bear and they see the dog then the bear sees the dog. If someone is green then they see the bear. If someone chases the dog then the dog sees the bear. If someone chases the lion then the lion sees the dog.
The lion chases the mouse.
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear is red.[(triple3)] The bear needs the lion.[(triple4)] The bear sees the lion.[(triple5)] The dog needs the mouse.[(triple6 OR ((triple9 ((triple1) -> rule8)) -> rule1) OR ((triple9 ((triple12) -> rule8)) -> rule1))] The dog sees the lion.[(triple7)] The dog sees the mouse.[(triple8)] The lion is green.[(triple9)] The lion is young.[(triple10)] The lion sees the bear.[(triple11 OR ((triple9) -> rule6))] The mouse chases the lion.[(triple12)] The mouse needs the dog.[(triple13)] The mouse sees the bear.[(triple14)] The mouse sees the dog.[(triple15)] The mouse sees the lion.[(triple16)] @1: The bear sees the dog.[(((triple14 triple15) -> rule5) OR ((triple11 ((triple1) -> rule8)) -> rule5) OR ((triple11 ((triple12) -> rule8)) -> rule5) OR ((((triple9) -> rule6) ((triple1) -> rule8)) -> rule5) OR ((((triple9) -> rule6) ((triple12) -> rule8)) -> rule5))] The lion chases the dog.[(((triple16) -> rule3) OR ((triple5) -> rule3) OR ((triple7) -> rule3))] The lion sees the dog.[(((triple1) -> rule8) OR ((triple12) -> rule8))] @2: The dog sees the bear.[(((((triple16) -> rule3)) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((triple7) -> rule3)) -> rule7))]