「その包皮は遂げなくて減衰しない」ということは偽ならばそれは検事正である
fact1: もし「何かは遂げないけれど減衰する」ということは間違いならばそれは検事正だ fact2: もしなにがしかの物は遂げるということはないしかつ減衰しないならそれは検事正だ fact3: 仮にその一回程度が燃え立たないし加えてそれは減衰しないとすると「葉透かしだ」ということは成り立つ fact4: 「もし「何かは遂げないししかも減衰しない」ということは嘘であるとすれば検事正である」ということは正しい fact5: もし「その包皮は遂げなくてそれにそれは生じ易くない」ということは成り立つということはないとしたらそれはみみっちい fact6: その包皮は把握し難いということはないし検事正でないとしたら連れ戻す fact7: もし仮に「その包皮は減衰するけどそれは嫉妬深くない」ということは成り立たないとすればそれは達成し易い fact8: もし何らかの物が遂げるとすれば検事正である fact9: もし「その包皮は遂げないけれどそれは減衰する」ということは事実と異なるとすれば検事正である fact10: もし「その包皮は堪り易いということはなくて遂げない」ということは成り立たないならそれは出会う fact11: 仮に「なにかは艦隊戦力でなくてしかも入場料であるということはない」ということは誤っているとすると減量する fact12: 仮にあの褒め方は彼らしいということはなくて挫くということはないとしたら「減衰する」ということは本当だ fact13: もしもその包皮が真っ暗くないしオブジェクト指向プログラミングでないとすれば引き難い fact14: もしとあるものは荷抜きしなくてそれに倫理観でないとすればそれは甚だし fact15: 「この色調補正は減衰するということはなくて更に達成し易くない」ということは成り立たないとしたら隙間無い
fact4 -> hypothesis;
$facts$ = fact1: もし「何かは遂げないけれど減衰する」ということは間違いならばそれは検事正だ fact2: もしなにがしかの物は遂げるということはないしかつ減衰しないならそれは検事正だ fact3: 仮にその一回程度が燃え立たないし加えてそれは減衰しないとすると「葉透かしだ」ということは成り立つ fact4: 「もし「何かは遂げないししかも減衰しない」ということは嘘であるとすれば検事正である」ということは正しい fact5: もし「その包皮は遂げなくてそれにそれは生じ易くない」ということは成り立つということはないとしたらそれはみみっちい fact6: その包皮は把握し難いということはないし検事正でないとしたら連れ戻す fact7: もし仮に「その包皮は減衰するけどそれは嫉妬深くない」ということは成り立たないとすればそれは達成し易い fact8: もし何らかの物が遂げるとすれば検事正である fact9: もし「その包皮は遂げないけれどそれは減衰する」ということは事実と異なるとすれば検事正である fact10: もし「その包皮は堪り易いということはなくて遂げない」ということは成り立たないならそれは出会う fact11: 仮に「なにかは艦隊戦力でなくてしかも入場料であるということはない」ということは誤っているとすると減量する fact12: 仮にあの褒め方は彼らしいということはなくて挫くということはないとしたら「減衰する」ということは本当だ fact13: もしもその包皮が真っ暗くないしオブジェクト指向プログラミングでないとすれば引き難い fact14: もしとあるものは荷抜きしなくてそれに倫理観でないとすればそれは甚だし fact15: 「この色調補正は減衰するということはなくて更に達成し易くない」ということは成り立たないとしたら隙間無い ; $hypothesis$ = 「その包皮は遂げなくて減衰しない」ということは偽ならばそれは検事正である ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし「何かは遂げないけれど減衰する」ということは間違いならばそれは検事正だ
事実2: もしなにがしかの物は遂げるということはないしかつ減衰しないならそれは検事正だ
事実3: 仮にその一回程度が燃え立たないし加えてそれは減衰しないとすると「葉透かしだ」ということは成り立つ
事実4: 「もし「何かは遂げないししかも減衰しない」ということは嘘であるとすれば検事正である」ということは正しい
事実5: もし「その包皮は遂げなくてそれにそれは生じ易くない」ということは成り立つということはないとしたらそれはみみっちい
事実6: その包皮は把握し難いということはないし検事正でないとしたら連れ戻す
事実7: もし仮に「その包皮は減衰するけどそれは嫉妬深くない」ということは成り立たないとすればそれは達成し易い
事実8: もし何らかの物が遂げるとすれば検事正である
事実9: もし「その包皮は遂げないけれどそれは減衰する」ということは事実と異なるとすれば検事正である
事実10: もし「その包皮は堪り易いということはなくて遂げない」ということは成り立たないならそれは出会う
事実11: 仮に「なにかは艦隊戦力でなくてしかも入場料であるということはない」ということは誤っているとすると減量する
事実12: 仮にあの褒め方は彼らしいということはなくて挫くということはないとしたら「減衰する」ということは本当だ
事実13: もしもその包皮が真っ暗くないしオブジェクト指向プログラミングでないとすれば引き難い
事実14: もしとあるものは荷抜きしなくてそれに倫理観でないとすればそれは甚だし
事実15: 「この色調補正は減衰するということはなくて更に達成し易くない」ということは成り立たないとしたら隙間無い

仮説: 「その包皮は遂げなくて減衰しない」ということは偽ならばそれは検事正である
1. 事実4から、仮説が導かれる

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