The dog chases the mouse. The dog is red. The dog likes the lion. The dog likes the mouse. The dog sees the lion. The lion chases the dog. The lion chases the mouse. The lion is green. The lion likes the dog. The lion likes the mouse. The lion sees the dog. The lion sees the mouse. The mouse chases the dog. The mouse likes the dog. The mouse likes the lion. If the lion sees the mouse and the lion chases the dog then the mouse likes the lion. If the mouse chases the lion and the lion is round then the lion likes the dog. If something likes the dog and it is red then the dog sees the lion. If something sees the dog and it is rough then it chases the lion. If something is kind then it likes the lion. If something sees the dog and the dog sees the lion then it is green. If the mouse is round then the mouse likes the lion. If something chases the dog then it likes the mouse.
The lion is not green.
@0: The dog chases the mouse.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the mouse.[(triple4)] The dog sees the lion.[(triple5)] The lion chases the dog.[(triple6)] The lion chases the mouse.[(triple7)] The lion is green.[(triple8 OR ((triple11 triple5) -> rule6))] The lion likes the dog.[(triple9)] The lion likes the mouse.[(triple10 OR ((triple6) -> rule8))] The lion sees the dog.[(triple11)] The lion sees the mouse.[(triple12)] The mouse chases the dog.[(triple13)] The mouse likes the dog.[(triple14)] The mouse likes the lion.[(triple15 OR ((triple12 triple6) -> rule1))] @1: The mouse likes the mouse.[(((triple13) -> rule8))]