「この関心は九ページ参照でない」ということは成り立つ
fact1: おもろくないものは固定的施設でないしその上折れ易いない fact2: もしもある物が固定的施設でないとしたら癒し難いかあるいはそれは九ページ参照である fact3: もし仮に「その坑夫は社会契約説だが起こし易くない」ということは誤っているとすればあの尋問はおもろくない fact4: 何らかの物がおもろいとすればそれは折れ易い fact5: この四天王寺は固定的施設でない fact6: この関心は居辛い fact7: その坑夫が非難がましいとすればそれは届き難い fact8: 仮にあの餌付けが折れ易いとするとそれは固定的施設でない fact9: もしも「この関心は癒し難くないけれど固定的施設だ」ということは誤りであるとすると固定的施設でない fact10: なにがしかのものは届き難いならば「社会契約説でそれは起こし易くない」ということは事実と異なる fact11: この満期保険金は癒し難い fact12: その坑夫は出版出来るということはないが非難がましい fact13: もしこの関心は社会契約説でないなら「あの餌付けはおもろいし起こし易い」ということは成り立つ fact14: この関心は点Ｍである fact15: もし仮にこの関心は九ページ参照であるとすれば固定的施設である fact16: この一銘柄は九ページ参照でない fact17: 「この関心は癒し難くないけれど固定的施設である」ということは間違いだ fact18: この関心は追想しない fact19: もし「この価格設定は聞こえ難くないが工業地域だ」ということは成り立たないとすれば工業地域であるということはない
void -> assump1: 以下のように仮定する。この関心は九ページ参照である; fact15 & assump1 -> int1: 「この関心は固定的施設だ」ということは確かだ; fact17 & fact9 -> int2: この関心は固定的施設でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact15 & assump1 -> int1: {B}{a}; fact17 & fact9 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの餌付けは癒し難い
fact22 -> int4: もしあの餌付けがおもろいとすれば折れ易い;
$facts$ = fact1: おもろくないものは固定的施設でないしその上折れ易いない fact2: もしもある物が固定的施設でないとしたら癒し難いかあるいはそれは九ページ参照である fact3: もし仮に「その坑夫は社会契約説だが起こし易くない」ということは誤っているとすればあの尋問はおもろくない fact4: 何らかの物がおもろいとすればそれは折れ易い fact5: この四天王寺は固定的施設でない fact6: この関心は居辛い fact7: その坑夫が非難がましいとすればそれは届き難い fact8: 仮にあの餌付けが折れ易いとするとそれは固定的施設でない fact9: もしも「この関心は癒し難くないけれど固定的施設だ」ということは誤りであるとすると固定的施設でない fact10: なにがしかのものは届き難いならば「社会契約説でそれは起こし易くない」ということは事実と異なる fact11: この満期保険金は癒し難い fact12: その坑夫は出版出来るということはないが非難がましい fact13: もしこの関心は社会契約説でないなら「あの餌付けはおもろいし起こし易い」ということは成り立つ fact14: この関心は点Ｍである fact15: もし仮にこの関心は九ページ参照であるとすれば固定的施設である fact16: この一銘柄は九ページ参照でない fact17: 「この関心は癒し難くないけれど固定的施設である」ということは間違いだ fact18: この関心は追想しない fact19: もし「この価格設定は聞こえ難くないが工業地域だ」ということは成り立たないとすれば工業地域であるということはない ; $hypothesis$ = 「この関心は九ページ参照でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この関心は九ページ参照である; fact15 & assump1 -> int1: 「この関心は固定的施設だ」ということは確かだ; fact17 & fact9 -> int2: この関心は固定的施設でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: おもろくないものは固定的施設でないしその上折れ易いない
事実2: もしもある物が固定的施設でないとしたら癒し難いかあるいはそれは九ページ参照である
事実3: もし仮に「その坑夫は社会契約説だが起こし易くない」ということは誤っているとすればあの尋問はおもろくない
事実4: 何らかの物がおもろいとすればそれは折れ易い
事実5: この四天王寺は固定的施設でない
事実6: この関心は居辛い
事実7: その坑夫が非難がましいとすればそれは届き難い
事実8: 仮にあの餌付けが折れ易いとするとそれは固定的施設でない
事実9: もしも「この関心は癒し難くないけれど固定的施設だ」ということは誤りであるとすると固定的施設でない
事実10: なにがしかのものは届き難いならば「社会契約説でそれは起こし易くない」ということは事実と異なる
事実11: この満期保険金は癒し難い
事実12: その坑夫は出版出来るということはないが非難がましい
事実13: もしこの関心は社会契約説でないなら「あの餌付けはおもろいし起こし易い」ということは成り立つ
事実14: この関心は点Ｍである
事実15: もし仮にこの関心は九ページ参照であるとすれば固定的施設である
事実16: この一銘柄は九ページ参照でない
事実17: 「この関心は癒し難くないけれど固定的施設である」ということは間違いだ
事実18: この関心は追想しない
事実19: もし「この価格設定は聞こえ難くないが工業地域だ」ということは成り立たないとすれば工業地域であるということはない

仮説: 「この関心は九ページ参照でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この関心は九ページ参照である
2. 事実15と仮定1から、推論1: "「この関心は固定的施設だ」ということは確かだ"が導かれる
3. 事実17と事実9から、推論2: "この関心は固定的施設でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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