この計算式は晴々しかない
fact1: その企業法はパトロールしないとしたら「現地入りするけど例外無くない」ということは成り立たない fact2: 仮になにかは読経しないなら「晴々しいしそれにそれは程良いということはない」ということは成り立たない fact3: 「全ては程良くない」ということは真実である fact4: 「その企業法は一回心拍出量でない」ということは事実である fact5: もしこの基礎基本が戻し易いならばあの順応性はロアゾオ・ブルーだ fact6: 仮に「ある物は晴々しいが程良くない」ということは成り立つということはないとすれば「射撃しない」ということは間違っている fact7: その企業法はパトロールしない fact8: もしこの計算式が晴々しいとすればそれは程良い fact9: 「もしも「何かは浅しないがそれは読経する」ということは嘘であるならばそれは読経しない」ということは成り立つ fact10: もし仮に「とある物は現地入りする一方で例外無いということはない」ということは本当でないとしたらそれは現地入りしない fact11: もしもあの順応性はロアゾオ・ブルーならば「この計算式は浅しないがしかし読経する」ということは成り立たない
void -> assump1: 以下のように仮定する。この計算式は晴々しい; fact8 & assump1 -> int1: この計算式は程良い; fact3 -> int2: この計算式は程良くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この計算式は射撃する
fact16 -> int4: 「もしも「この計算式は晴々しいがしかし程良くない」ということは偽であるとしたらこの計算式は射撃する」ということは成り立つ; fact17 -> int5: もしこの計算式は読経しないとすれば「それは晴々しい一方で程良くない」ということは間違っている; fact18 -> int6: 「「この計算式は浅しないけれど読経する」ということは間違いである」ということは本当なら読経するということはない; fact12 -> int7: 「もし「その企業法は現地入りするけど例外無くない」ということは事実と異なるとするとその企業法は現地入りするということはない」ということは事実と異ならない; fact14 & fact19 -> int8: 「その企業法は現地入りする一方で例外無くない」ということは嘘だ; int7 & int8 -> int9: 「その企業法は現地入りしない」ということは本当である; int9 & fact20 -> int10: 「その企業法は現地入りしないしそれは一回心拍出量だということはない」ということは真実だ; int10 -> int11: 「現地入りしなくてその上一回心拍出量でない」ものはある;
$facts$ = fact1: その企業法はパトロールしないとしたら「現地入りするけど例外無くない」ということは成り立たない fact2: 仮になにかは読経しないなら「晴々しいしそれにそれは程良いということはない」ということは成り立たない fact3: 「全ては程良くない」ということは真実である fact4: 「その企業法は一回心拍出量でない」ということは事実である fact5: もしこの基礎基本が戻し易いならばあの順応性はロアゾオ・ブルーだ fact6: 仮に「ある物は晴々しいが程良くない」ということは成り立つということはないとすれば「射撃しない」ということは間違っている fact7: その企業法はパトロールしない fact8: もしこの計算式が晴々しいとすればそれは程良い fact9: 「もしも「何かは浅しないがそれは読経する」ということは嘘であるならばそれは読経しない」ということは成り立つ fact10: もし仮に「とある物は現地入りする一方で例外無いということはない」ということは本当でないとしたらそれは現地入りしない fact11: もしもあの順応性はロアゾオ・ブルーならば「この計算式は浅しないがしかし読経する」ということは成り立たない ; $hypothesis$ = この計算式は晴々しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この計算式は晴々しい; fact8 & assump1 -> int1: この計算式は程良い; fact3 -> int2: この計算式は程良くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その企業法はパトロールしないとしたら「現地入りするけど例外無くない」ということは成り立たない
事実2: 仮になにかは読経しないなら「晴々しいしそれにそれは程良いということはない」ということは成り立たない
事実3: 「全ては程良くない」ということは真実である
事実4: 「その企業法は一回心拍出量でない」ということは事実である
事実5: もしこの基礎基本が戻し易いならばあの順応性はロアゾオ・ブルーだ
事実6: 仮に「ある物は晴々しいが程良くない」ということは成り立つということはないとすれば「射撃しない」ということは間違っている
事実7: その企業法はパトロールしない
事実8: もしこの計算式が晴々しいとすればそれは程良い
事実9: 「もしも「何かは浅しないがそれは読経する」ということは嘘であるならばそれは読経しない」ということは成り立つ
事実10: もし仮に「とある物は現地入りする一方で例外無いということはない」ということは本当でないとしたらそれは現地入りしない
事実11: もしもあの順応性はロアゾオ・ブルーならば「この計算式は浅しないがしかし読経する」ということは成り立たない

仮説: この計算式は晴々しかない
1. 仮定1: 以下のように仮定する。この計算式は晴々しい
2. 事実8と仮定1から、推論1: "この計算式は程良い"が導かれる
3. 事実3から、推論2: "この計算式は程良くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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