この表示項目は発動する
fact1: この表示項目は増え難くない fact2: 「あの一揆方は混乱するということはない」ということは真実である fact3: もしある物はオアシスなら「嘆息しないけど影だ」ということは間違いだ fact4: もしもあの一揆方が五十億円以上だしおまけに並立するとするとあの子鹿は並立するということはない fact5: もしあの一揆方が混乱しないとすると五十億円以上でおまけに並立する fact6: もしこの当該銀行が出し難くて嘆息すればその糖液は嘆息しない fact7: なにがしかのものは影であるとしたら発動する fact8: 仮にこの表示項目は影でないとするとそれは増え難くない fact9: もしもなにがしかのものは嘆息するなら「それは登校刺激でない」ということは偽だ fact10: この表示項目はオアシスだ fact11: 「この上眼瞼はオアシスだ」ということは誤りだということはない fact12: この表示項目は嘆息するしかつオアシスである fact13: とあるものが嘆息するということはないとすればそれは発動しなくてまたそれは影でない fact14: もし仮になにがしかの物は影でないなら増え難くないし登校刺激でない fact15: なにがしかの物が営巣しないとすればそれは出し難くてかつ嘆息する fact16: もし仮になにかは並立しないとすると「仲睦まじくないけど営巣する」ということは偽である fact17: 仮に「「仲睦まじくなくて営巣する」ということは誤りである」物はあるなら「「この当該銀行は営巣する」ということは成り立たない」ということは成り立つ fact18: もしなんらかの物が影だということはないとすれば増え難いということはない
fact14 -> int1: もし仮にこの表示項目は影でないならばそれは増え難くないし登校刺激でない; void -> assump1: 以下のように仮定する。この表示項目は影でない; int1 & assump1 -> int2: この表示項目は増え難くないしそれに登校刺激でない; int2 -> int3: この表示項目は登校刺激でない; fact9 -> int4: もし「この表示項目は嘆息する」ということは確かだとするとそれは登校刺激だ; fact12 -> int5: この表示項目は嘆息する; int4 & int5 -> int6: この表示項目は登校刺激だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この表示項目は影だ; fact7 -> int9: この表示項目は影であるならば発動する; int8 & int9 -> hypothesis;
あの契約目的はオアシスであるということはない
fact19 -> int10: もしその糖液が嘆息しないとするとそれは発動しなくてそれは影でない; fact21 -> int11: もし仮にこの当該銀行が営巣しないなら出し難いし嘆息する; fact20 -> int12: もしもあの子鹿は並立しないならば「仲睦まじくないが営巣する」ということは成り立たない; fact26 & fact22 -> int13: あの一揆方は五十億円以上であるし並立する; fact25 & int13 -> int14: あの子鹿は並立しない; int12 & int14 -> int15: 「あの子鹿は仲睦まじくないけれどそれは営巣する」ということは間違いだ; int15 -> int16: 「「仲睦まじくない物であり営巣する」ということは間違いである」ものはある; int16 & fact24 -> int17: この当該銀行は営巣するということはない; int11 & int17 -> int18: この当該銀行は出し難くてまた嘆息する; fact23 & int18 -> int19: その糖液は嘆息しない; int10 & int19 -> int20: その糖液が発動しないしさらにそれは影だということはない; int20 -> int21: 「発動しないしその上影だということはない」物はある;
$facts$ = fact1: この表示項目は増え難くない fact2: 「あの一揆方は混乱するということはない」ということは真実である fact3: もしある物はオアシスなら「嘆息しないけど影だ」ということは間違いだ fact4: もしもあの一揆方が五十億円以上だしおまけに並立するとするとあの子鹿は並立するということはない fact5: もしあの一揆方が混乱しないとすると五十億円以上でおまけに並立する fact6: もしこの当該銀行が出し難くて嘆息すればその糖液は嘆息しない fact7: なにがしかのものは影であるとしたら発動する fact8: 仮にこの表示項目は影でないとするとそれは増え難くない fact9: もしもなにがしかのものは嘆息するなら「それは登校刺激でない」ということは偽だ fact10: この表示項目はオアシスだ fact11: 「この上眼瞼はオアシスだ」ということは誤りだということはない fact12: この表示項目は嘆息するしかつオアシスである fact13: とあるものが嘆息するということはないとすればそれは発動しなくてまたそれは影でない fact14: もし仮になにがしかの物は影でないなら増え難くないし登校刺激でない fact15: なにがしかの物が営巣しないとすればそれは出し難くてかつ嘆息する fact16: もし仮になにかは並立しないとすると「仲睦まじくないけど営巣する」ということは偽である fact17: 仮に「「仲睦まじくなくて営巣する」ということは誤りである」物はあるなら「「この当該銀行は営巣する」ということは成り立たない」ということは成り立つ fact18: もしなんらかの物が影だということはないとすれば増え難いということはない ; $hypothesis$ = この表示項目は発動する ; $proof$ = 
fact14 -> int1: もし仮にこの表示項目は影でないならばそれは増え難くないし登校刺激でない; void -> assump1: 以下のように仮定する。この表示項目は影でない; int1 & assump1 -> int2: この表示項目は増え難くないしそれに登校刺激でない; int2 -> int3: この表示項目は登校刺激でない; fact9 -> int4: もし「この表示項目は嘆息する」ということは確かだとするとそれは登校刺激だ; fact12 -> int5: この表示項目は嘆息する; int4 & int5 -> int6: この表示項目は登校刺激だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この表示項目は影だ; fact7 -> int9: この表示項目は影であるならば発動する; int8 & int9 -> hypothesis; __PROVED__
事実1: この表示項目は増え難くない
事実2: 「あの一揆方は混乱するということはない」ということは真実である
事実3: もしある物はオアシスなら「嘆息しないけど影だ」ということは間違いだ
事実4: もしもあの一揆方が五十億円以上だしおまけに並立するとするとあの子鹿は並立するということはない
事実5: もしあの一揆方が混乱しないとすると五十億円以上でおまけに並立する
事実6: もしこの当該銀行が出し難くて嘆息すればその糖液は嘆息しない
事実7: なにがしかのものは影であるとしたら発動する
事実8: 仮にこの表示項目は影でないとするとそれは増え難くない
事実9: もしもなにがしかのものは嘆息するなら「それは登校刺激でない」ということは偽だ
事実10: この表示項目はオアシスだ
事実11: 「この上眼瞼はオアシスだ」ということは誤りだということはない
事実12: この表示項目は嘆息するしかつオアシスである
事実13: とあるものが嘆息するということはないとすればそれは発動しなくてまたそれは影でない
事実14: もし仮になにがしかの物は影でないなら増え難くないし登校刺激でない
事実15: なにがしかの物が営巣しないとすればそれは出し難くてかつ嘆息する
事実16: もし仮になにかは並立しないとすると「仲睦まじくないけど営巣する」ということは偽である
事実17: 仮に「「仲睦まじくなくて営巣する」ということは誤りである」物はあるなら「「この当該銀行は営巣する」ということは成り立たない」ということは成り立つ
事実18: もしなんらかの物が影だということはないとすれば増え難いということはない

仮説: この表示項目は発動する
1. 事実14から、推論1: "もし仮にこの表示項目は影でないならばそれは増え難くないし登校刺激でない"が導かれる
2. 仮定1: 以下のように仮定する。この表示項目は影でない
3. 推論1と仮定1から、推論2: "この表示項目は増え難くないしそれに登校刺激でない"が導かれる
4. 推論2から、推論3: "この表示項目は登校刺激でない"が導かれる
5. 事実9から、推論4: "もし「この表示項目は嘆息する」ということは確かだとするとそれは登校刺激だ"が導かれる
6. 事実12から、推論5: "この表示項目は嘆息する"が導かれる
7. 推論4と推論5から、推論6: "この表示項目は登校刺激だ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この表示項目は影だ"が導かれる
10. 事実7から、推論9: "この表示項目は影であるならば発動する"が導かれる
11. 推論8と推論9から、仮説が導かれる

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