The dog is blue. The dog is green. The dog needs the mouse. The dog sees the lion. The dog sees the mouse. The lion chases the dog. The lion is round. The lion is young. The lion needs the dog. The lion sees the dog. The lion sees the mouse. The mouse chases the lion. The mouse is green. The mouse is young. The mouse sees the dog. The mouse sees the lion. If something is round and it sees the mouse then the mouse is green. If something needs the dog then the dog sees the lion.
The lion does not see the mouse.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog needs the mouse.[(triple3)] The dog sees the lion.[(triple4 OR ((triple9) -> rule2))] The dog sees the mouse.[(triple5)] The lion chases the dog.[(triple6)] The lion is round.[(triple7)] The lion is young.[(triple8)] The lion needs the dog.[(triple9)] The lion sees the dog.[(triple10)] The lion sees the mouse.[(triple11)] The mouse chases the lion.[(triple12)] The mouse is green.[(triple13 OR ((triple7 triple11) -> rule1))] The mouse is young.[(triple14)] The mouse sees the dog.[(triple15)] The mouse sees the lion.[(triple16)]