The dog likes the lion. The dog visits the lion. The dog visits the mouse. The lion is rough. The lion likes the mouse. The lion needs the dog. The lion visits the dog. The lion visits the mouse. The mouse is green. The mouse is rough. The mouse needs the lion. The mouse visits the dog. If the mouse visits the dog and the dog needs the lion then the mouse is cold. If something needs the mouse then the mouse needs the dog. If something visits the mouse and the mouse visits the dog then the dog needs the lion. If something visits the dog then it likes the mouse. If something is cold then it visits the lion. If something is green and it needs the dog then it visits the mouse.
The dog is not green.
@0: The dog likes the lion.[(triple1)] The dog visits the lion.[(triple2)] The dog visits the mouse.[(triple3)] The lion is rough.[(triple4)] The lion likes the mouse.[(triple5 OR ((triple7) -> rule4))] The lion needs the dog.[(triple6)] The lion visits the dog.[(triple7)] The lion visits the mouse.[(triple8)] The mouse is green.[(triple9)] The mouse is rough.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the dog.[(triple12)] @1: The dog needs the lion.[(((triple3 triple12) -> rule3) OR ((triple8 triple12) -> rule3))] The mouse likes the mouse.[(((triple12) -> rule4))] @2: The mouse is cold.[(((triple12 ((triple3 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple8 triple12) -> rule3)) -> rule1))] @3: The mouse visits the lion.[(((((triple12 ((triple3 triple12) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple8 triple12) -> rule3)) -> rule1)) -> rule5))]