そのフォトセラピーは捗々しいかそれは辞意だ
fact1: この都道府県以外は捗々しいとすると「「その受賞作はユニークさであるということはなくてまた労働力供給でない」ということは嘘である」ということは間違いでない fact2: もしもその非武装地帯が伸ばし易くないならそれは根気良い fact3: もしその非武装地帯は根気良いとしたら「その内職は御引き取り願う一方で根気良くない」ということは誤っている fact4: 「その内職は御引き取り願わないしその上それは頑是無いということはない」ということは事実と異なるとしたらあの赤血球速度はユニークさである fact5: もしその非武装地帯は根気良いとしたら「その内職は御引き取り願うし更に根気良い」ということは誤りである fact6: もしその内職は伸ばし易いとすると「その非武装地帯は御引き取り願うがしかし伸ばし易くない」ということは嘘である fact7: その内職は根気良くない fact8: 「その受賞作はユニークさだけれどそれは頑是無くない」ということは誤りである fact9: その内職は御引き取り願うが根気良くない fact10: その内職が根気良くないとするとその受賞作は根気良いかまたはそれは労働力供給だ fact11: もしも「その非武装地帯は伸ばし易い」ということは成り立つなら「「その内職は根気良いけれど伸ばし易くない」ということは成り立つ」ということは誤っている fact12: 仮にあの赤血球速度は頑是無いとしたら「その非武装地帯は伸ばし易い一方で頑是無くない」ということは偽である fact13: 「その非武装地帯は伸ばし易い一方でそれは頑是無いということはない」ということは成り立たないならそれは根気良い fact14: 仮にその受賞作が労働力供給だとすればあの赤血球速度は頑是無い fact15: 仮にこの都道府県以外は捗々しくないとすると「そのフォトセラピーは捗々しいかあるいは辞意だ」ということは正しい fact16: 「あの赤血球速度は頑是無いけどそれは伸ばし易くない」ということは偽である fact17: 「その内職は御引き取り願うし根気良い」ということは誤りだ fact18: もしこの都道府県以外は捗々しいとすると「その受賞作はユニークさでないけど労働力供給である」ということは間違っている fact19: 仮に「その受賞作はユニークさであるということはないしその上労働力供給だということはない」ということは成り立たないとすればあの赤血球速度は頑是無い fact20: もし仮に何かは頑是無くないならば「それは捗々しいかあるいはそれは辞意だ」ということは間違いだ fact21: 「その受賞作はユニークさでないが労働力供給だ」ということは間違っている fact22: 「その内職は根気良いけれど頑是無くない」ということは成り立たない fact23: 仮にこの都道府県以外が根気良くないかあるいは伸ばし易くないならそのフォトセラピーは頑是無くない fact24: その受賞作は労働力供給であるか頑是無いかあるいは両方ともだ fact25: あの赤血球速度は御引き取り願わない
void -> assump1: 以下のように仮定する。この都道府県以外は捗々しい; fact1 & assump1 -> int1: 「その受賞作はユニークさでないしその上労働力供給であるということはない」ということは真実でない; int1 & fact19 -> int2: あの赤血球速度は頑是無い; int2 & fact12 -> int3: 「その非武装地帯は伸ばし易い一方で頑是無くない」ということは成り立たない; int3 & fact13 -> int4: その非武装地帯は根気良い; int4 & fact3 -> int5: 「その内職は御引き取り願う一方で根気良くない」ということは成り立つということはない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: この都道府県以外は捗々しくない; int7 & fact15 -> hypothesis;
「そのフォトセラピーは捗々しいかそれは辞意だ」ということは成り立つということはない
fact26 -> int8: もし仮にそのフォトセラピーは頑是無いということはないとすると「それは捗々しいかもしくはそれは辞意である」ということは成り立たない;
$facts$ = fact1: この都道府県以外は捗々しいとすると「「その受賞作はユニークさであるということはなくてまた労働力供給でない」ということは嘘である」ということは間違いでない fact2: もしもその非武装地帯が伸ばし易くないならそれは根気良い fact3: もしその非武装地帯は根気良いとしたら「その内職は御引き取り願う一方で根気良くない」ということは誤っている fact4: 「その内職は御引き取り願わないしその上それは頑是無いということはない」ということは事実と異なるとしたらあの赤血球速度はユニークさである fact5: もしその非武装地帯は根気良いとしたら「その内職は御引き取り願うし更に根気良い」ということは誤りである fact6: もしその内職は伸ばし易いとすると「その非武装地帯は御引き取り願うがしかし伸ばし易くない」ということは嘘である fact7: その内職は根気良くない fact8: 「その受賞作はユニークさだけれどそれは頑是無くない」ということは誤りである fact9: その内職は御引き取り願うが根気良くない fact10: その内職が根気良くないとするとその受賞作は根気良いかまたはそれは労働力供給だ fact11: もしも「その非武装地帯は伸ばし易い」ということは成り立つなら「「その内職は根気良いけれど伸ばし易くない」ということは成り立つ」ということは誤っている fact12: 仮にあの赤血球速度は頑是無いとしたら「その非武装地帯は伸ばし易い一方で頑是無くない」ということは偽である fact13: 「その非武装地帯は伸ばし易い一方でそれは頑是無いということはない」ということは成り立たないならそれは根気良い fact14: 仮にその受賞作が労働力供給だとすればあの赤血球速度は頑是無い fact15: 仮にこの都道府県以外は捗々しくないとすると「そのフォトセラピーは捗々しいかあるいは辞意だ」ということは正しい fact16: 「あの赤血球速度は頑是無いけどそれは伸ばし易くない」ということは偽である fact17: 「その内職は御引き取り願うし根気良い」ということは誤りだ fact18: もしこの都道府県以外は捗々しいとすると「その受賞作はユニークさでないけど労働力供給である」ということは間違っている fact19: 仮に「その受賞作はユニークさであるということはないしその上労働力供給だということはない」ということは成り立たないとすればあの赤血球速度は頑是無い fact20: もし仮に何かは頑是無くないならば「それは捗々しいかあるいはそれは辞意だ」ということは間違いだ fact21: 「その受賞作はユニークさでないが労働力供給だ」ということは間違っている fact22: 「その内職は根気良いけれど頑是無くない」ということは成り立たない fact23: 仮にこの都道府県以外が根気良くないかあるいは伸ばし易くないならそのフォトセラピーは頑是無くない fact24: その受賞作は労働力供給であるか頑是無いかあるいは両方ともだ fact25: あの赤血球速度は御引き取り願わない ; $hypothesis$ = そのフォトセラピーは捗々しいかそれは辞意だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この都道府県以外は捗々しい; fact1 & assump1 -> int1: 「その受賞作はユニークさでないしその上労働力供給であるということはない」ということは真実でない; int1 & fact19 -> int2: あの赤血球速度は頑是無い; int2 & fact12 -> int3: 「その非武装地帯は伸ばし易い一方で頑是無くない」ということは成り立たない; int3 & fact13 -> int4: その非武装地帯は根気良い; int4 & fact3 -> int5: 「その内職は御引き取り願う一方で根気良くない」ということは成り立つということはない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: この都道府県以外は捗々しくない; int7 & fact15 -> 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: 仮にこの都道府県以外が根気良くないかあるいは伸ばし易くないならそのフォトセラピーは頑是無くない
事実24: その受賞作は労働力供給であるか頑是無いかあるいは両方ともだ
事実25: あの赤血球速度は御引き取り願わない

仮説: そのフォトセラピーは捗々しいかそれは辞意だ
1. 仮定1: 以下のように仮定する。この都道府県以外は捗々しい
2. 事実1と仮定1から、推論1: "「その受賞作はユニークさでないしその上労働力供給であるということはない」ということは真実でない"が導かれる
3. 推論1と事実19から、推論2: "あの赤血球速度は頑是無い"が導かれる
4. 推論2と事実12から、推論3: "「その非武装地帯は伸ばし易い一方で頑是無くない」ということは成り立たない"が導かれる
5. 推論3と事実13から、推論4: "その非武装地帯は根気良い"が導かれる
6. 推論4と事実3から、推論5: "「その内職は御引き取り願う一方で根気良くない」ということは成り立つということはない"が導かれる
7. 推論5と事実9から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この都道府県以外は捗々しくない"が導かれる
9. 推論7と事実15から、仮説が導かれる

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