とある物は報じるし加えて馴染み難い
fact1: あの選任は馴染み難い fact2: 「あの選任は真っ暗くてそれに報じる」ということは間違いである fact3: 「真っ暗い」物があるならばあのイスラーム法はリムでない fact4: このイスラーム法はリムだ fact5: あの選任はリムである fact6: もしも「「起こし難くないし更に出始める」ということは事実と異なる」ものがあるとするとこの清掃作業は狂おしくない fact7: 何かは働き難いしまたブランドらしい fact8: ある物は真っ暗いということはないがしかし報じる fact9: 「「真っ暗いし報じる」ということは成り立たない」物はある fact10: 「「真っ暗くないけれど報じる」ということは嘘な」物はあれば「このイスラーム法はリムでない」ということは正しい
void -> assump1: 以下のように仮定する。「あの選任は真っ暗くないがしかし報じる」ということは誤っている; assump1 -> int1: 「「真っ暗くないけれど報じる」ということは間違っている」ものはある; int1 & fact10 -> int2: このイスラーム法はリムであるということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの選任は真っ暗くない一方で報じる」ということは成り立つ; int4 -> int5: あの選任は報じる; int5 & fact1 -> int6: あの選任は報じるし馴染み難い; int6 -> hypothesis;
$facts$ = fact1: あの選任は馴染み難い fact2: 「あの選任は真っ暗くてそれに報じる」ということは間違いである fact3: 「真っ暗い」物があるならばあのイスラーム法はリムでない fact4: このイスラーム法はリムだ fact5: あの選任はリムである fact6: もしも「「起こし難くないし更に出始める」ということは事実と異なる」ものがあるとするとこの清掃作業は狂おしくない fact7: 何かは働き難いしまたブランドらしい fact8: ある物は真っ暗いということはないがしかし報じる fact9: 「「真っ暗いし報じる」ということは成り立たない」物はある fact10: 「「真っ暗くないけれど報じる」ということは嘘な」物はあれば「このイスラーム法はリムでない」ということは正しい ; $hypothesis$ = とある物は報じるし加えて馴染み難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの選任は真っ暗くないがしかし報じる」ということは誤っている; assump1 -> int1: 「「真っ暗くないけれど報じる」ということは間違っている」ものはある; int1 & fact10 -> int2: このイスラーム法はリムであるということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの選任は真っ暗くない一方で報じる」ということは成り立つ; int4 -> int5: あの選任は報じる; int5 & fact1 -> int6: あの選任は報じるし馴染み難い; int6 -> hypothesis; __PROVED__
事実1: あの選任は馴染み難い
事実2: 「あの選任は真っ暗くてそれに報じる」ということは間違いである
事実3: 「真っ暗い」物があるならばあのイスラーム法はリムでない
事実4: このイスラーム法はリムだ
事実5: あの選任はリムである
事実6: もしも「「起こし難くないし更に出始める」ということは事実と異なる」ものがあるとするとこの清掃作業は狂おしくない
事実7: 何かは働き難いしまたブランドらしい
事実8: ある物は真っ暗いということはないがしかし報じる
事実9: 「「真っ暗いし報じる」ということは成り立たない」物はある
事実10: 「「真っ暗くないけれど報じる」ということは嘘な」物はあれば「このイスラーム法はリムでない」ということは正しい

仮説: とある物は報じるし加えて馴染み難い
1. 仮定1: 以下のように仮定する。「あの選任は真っ暗くないがしかし報じる」ということは誤っている
2. 仮定1から、推論1: "「「真っ暗くないけれど報じる」ということは間違っている」ものはある"が導かれる
3. 推論1と事実10から、推論2: "このイスラーム法はリムであるということはない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの選任は真っ暗くない一方で報じる」ということは成り立つ"が導かれる
6. 推論4から、推論5: "あの選任は報じる"が導かれる
7. 推論5と事実1から、推論6: "あの選任は報じるし馴染み難い"が導かれる
8. 推論6から、仮説が導かれる

よって、仮説が証明されました。