あのブルマは合い難くないしおまけに休暇願いでない
fact1: あるものは躑躅でないとしたらそれは真ん丸いということはないがタイトルらしい fact2: もしもあのブルマがフルート家だけれど躑躅でないとしたらそれは合い難くない fact3: その神経ペプチドは休暇願いでない fact4: もし何かはフルート家であるとすると合い難い fact5: もしあの沖縄学童は作り易いなら「その尿道瘤はタイトルらしくないかまたは真ん丸くないか両方だ」ということは誤っている fact6: もし「なにがしかのものは発揮し易い」ということは真実であるとすると「合い難くないし休暇願いでない」ということは真実でない fact7: その神経ペプチドはフルート家である fact8: 仮に「なんらかの物は合い難くないし休暇願いでない」ということは本当でないとすれば「高裁である」ということは成り立つ fact9: あのペチジンは合い難くない fact10: もしも「その神経ペプチドはフルート家だ」ということは嘘でないならば「その成人後はフルート家だ」ということは正しい fact11: もし仮にその尿道瘤が真ん丸くないがタイトルらしいならあのブルマは高裁でない fact12: 「その神経ペプチドはフルート家でないしさらに合い難くない」ということは成り立つということはない fact13: 仮に「ある物はタイトルらしくないか真ん丸くないかあるいはどちらもだ」ということは誤りならば発揮し易くない fact14: もしあるものが躑躅でないとすればそれは高裁だということはない fact15: 「その神経ペプチドは真ん丸いということはない」ということは本当だ fact16: もしもその成人後がフルート家だとするとあの沖縄学童は躑躅であるけどタイトルらしくない fact17: 「この二十七万人はドラッグ＆ドロップするがしかし休暇願いでない」ということは誤りだ fact18: あの沖縄学童は躑躅である fact19: 仮にその尿道瘤が発揮し易いということはないし加えて高裁でないとすればあのブルマは発揮し易い fact20: もしもその尿道瘤が発揮し易いとしたらあの沖縄学童は真ん丸い fact21: もし仮にあのブルマが高裁であるならその尿道瘤は発揮し易い fact22: あのブルマはタイトルらしい一方で休暇願いでない fact23: 仮に躑躅がタイトルらしくないならそれは真ん丸いということはない
fact8 -> int1: 「あのブルマは合い難いということはなくて休暇願いでない」ということは間違いならそれは高裁である; void -> assump1: 以下のように仮定する。「あのブルマは合い難くないしそれに休暇願いでない」ということは偽である; int1 & assump1 -> int2: あのブルマは高裁だ; int2 & fact21 -> int3: その尿道瘤は発揮し易い; int3 & fact20 -> int4: あの沖縄学童は真ん丸い; fact23 -> int5: もし仮にあの沖縄学童は躑躅だ一方でタイトルらしくないとしたらそれは真ん丸くない; fact10 & fact7 -> int6: その成人後はフルート家である; fact16 & int6 -> int7: あの沖縄学童は躑躅である一方でタイトルらしくない; int5 & int7 -> int8: あの沖縄学童は真ん丸くない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「あのブルマは合い難いということはないし更に休暇願いでない」ということは嘘だ
fact24 -> int10: もし仮にあのブルマは発揮し易いとすれば「それは合い難くないしまたそれは休暇願いでない」ということは成り立たない; fact26 -> int11: 仮に「その尿道瘤はタイトルらしくないかもしくはそれは真ん丸いということはない」ということは成り立たないとすれば発揮し易くない; fact27 -> int12: もし仮にその尿道瘤は躑躅であるということはないとすればそれは高裁でない;
$facts$ = fact1: あるものは躑躅でないとしたらそれは真ん丸いということはないがタイトルらしい fact2: もしもあのブルマがフルート家だけれど躑躅でないとしたらそれは合い難くない fact3: その神経ペプチドは休暇願いでない fact4: もし何かはフルート家であるとすると合い難い fact5: もしあの沖縄学童は作り易いなら「その尿道瘤はタイトルらしくないかまたは真ん丸くないか両方だ」ということは誤っている fact6: もし「なにがしかのものは発揮し易い」ということは真実であるとすると「合い難くないし休暇願いでない」ということは真実でない fact7: その神経ペプチドはフルート家である fact8: 仮に「なんらかの物は合い難くないし休暇願いでない」ということは本当でないとすれば「高裁である」ということは成り立つ fact9: あのペチジンは合い難くない fact10: もしも「その神経ペプチドはフルート家だ」ということは嘘でないならば「その成人後はフルート家だ」ということは正しい fact11: もし仮にその尿道瘤が真ん丸くないがタイトルらしいならあのブルマは高裁でない fact12: 「その神経ペプチドはフルート家でないしさらに合い難くない」ということは成り立つということはない fact13: 仮に「ある物はタイトルらしくないか真ん丸くないかあるいはどちらもだ」ということは誤りならば発揮し易くない fact14: もしあるものが躑躅でないとすればそれは高裁だということはない fact15: 「その神経ペプチドは真ん丸いということはない」ということは本当だ fact16: もしもその成人後がフルート家だとするとあの沖縄学童は躑躅であるけどタイトルらしくない fact17: 「この二十七万人はドラッグ＆ドロップするがしかし休暇願いでない」ということは誤りだ fact18: あの沖縄学童は躑躅である fact19: 仮にその尿道瘤が発揮し易いということはないし加えて高裁でないとすればあのブルマは発揮し易い fact20: もしもその尿道瘤が発揮し易いとしたらあの沖縄学童は真ん丸い fact21: もし仮にあのブルマが高裁であるならその尿道瘤は発揮し易い fact22: あのブルマはタイトルらしい一方で休暇願いでない fact23: 仮に躑躅がタイトルらしくないならそれは真ん丸いということはない ; $hypothesis$ = あのブルマは合い難くないしおまけに休暇願いでない ; $proof$ = 
fact8 -> int1: 「あのブルマは合い難いということはなくて休暇願いでない」ということは間違いならそれは高裁である; void -> assump1: 以下のように仮定する。「あのブルマは合い難くないしそれに休暇願いでない」ということは偽である; int1 & assump1 -> int2: あのブルマは高裁だ; int2 & fact21 -> int3: その尿道瘤は発揮し易い; int3 & fact20 -> int4: あの沖縄学童は真ん丸い; fact23 -> int5: もし仮にあの沖縄学童は躑躅だ一方でタイトルらしくないとしたらそれは真ん丸くない; fact10 & fact7 -> int6: その成人後はフルート家である; fact16 & int6 -> int7: あの沖縄学童は躑躅である一方でタイトルらしくない; int5 & int7 -> int8: あの沖縄学童は真ん丸くない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: あるものは躑躅でないとしたらそれは真ん丸いということはないがタイトルらしい
事実2: もしもあのブルマがフルート家だけれど躑躅でないとしたらそれは合い難くない
事実3: その神経ペプチドは休暇願いでない
事実4: もし何かはフルート家であるとすると合い難い
事実5: もしあの沖縄学童は作り易いなら「その尿道瘤はタイトルらしくないかまたは真ん丸くないか両方だ」ということは誤っている
事実6: もし「なにがしかのものは発揮し易い」ということは真実であるとすると「合い難くないし休暇願いでない」ということは真実でない
事実7: その神経ペプチドはフルート家である
事実8: 仮に「なんらかの物は合い難くないし休暇願いでない」ということは本当でないとすれば「高裁である」ということは成り立つ
事実9: あのペチジンは合い難くない
事実10: もしも「その神経ペプチドはフルート家だ」ということは嘘でないならば「その成人後はフルート家だ」ということは正しい
事実11: もし仮にその尿道瘤が真ん丸くないがタイトルらしいならあのブルマは高裁でない
事実12: 「その神経ペプチドはフルート家でないしさらに合い難くない」ということは成り立つということはない
事実13: 仮に「ある物はタイトルらしくないか真ん丸くないかあるいはどちらもだ」ということは誤りならば発揮し易くない
事実14: もしあるものが躑躅でないとすればそれは高裁だということはない
事実15: 「その神経ペプチドは真ん丸いということはない」ということは本当だ
事実16: もしもその成人後がフルート家だとするとあの沖縄学童は躑躅であるけどタイトルらしくない
事実17: 「この二十七万人はドラッグ＆ドロップするがしかし休暇願いでない」ということは誤りだ
事実18: あの沖縄学童は躑躅である
事実19: 仮にその尿道瘤が発揮し易いということはないし加えて高裁でないとすればあのブルマは発揮し易い
事実20: もしもその尿道瘤が発揮し易いとしたらあの沖縄学童は真ん丸い
事実21: もし仮にあのブルマが高裁であるならその尿道瘤は発揮し易い
事実22: あのブルマはタイトルらしい一方で休暇願いでない
事実23: 仮に躑躅がタイトルらしくないならそれは真ん丸いということはない

仮説: あのブルマは合い難くないしおまけに休暇願いでない
1. 事実8から、推論1: "「あのブルマは合い難いということはなくて休暇願いでない」ということは間違いならそれは高裁である"が導かれる
2. 仮定1: 以下のように仮定する。「あのブルマは合い難くないしそれに休暇願いでない」ということは偽である
3. 推論1と仮定1から、推論2: "あのブルマは高裁だ"が導かれる
4. 推論2と事実21から、推論3: "その尿道瘤は発揮し易い"が導かれる
5. 推論3と事実20から、推論4: "あの沖縄学童は真ん丸い"が導かれる
6. 事実23から、推論5: "もし仮にあの沖縄学童は躑躅だ一方でタイトルらしくないとしたらそれは真ん丸くない"が導かれる
7. 事実10と事実7から、推論6: "その成人後はフルート家である"が導かれる
8. 事実16と推論6から、推論7: "あの沖縄学童は躑躅である一方でタイトルらしくない"が導かれる
9. 推論5と推論7から、推論8: "あの沖縄学童は真ん丸くない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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