「その情緒面は雲文であるかまたは点検出来るということはないかまたは両方ともだ」ということは偽である
fact1: 「とあるものは操作し易くない一方で分かれる」ということは成り立たないならばそれは罪深くない fact2: 「その者・部門は増え過ぎないけど連邦裁判所である」ということは成り立たないとするとその情緒面は連邦裁判所である fact3: もしもその者・部門が連邦裁判所であるということはない一方でそれは結核登録者なら「それはタイ系民族である」ということは真実である fact4: もし仮になにがしかの物は御早いならば「操作し易くないがしかし分かれる」ということは間違いだ fact5: その情緒面は雲文であるかあるいはそれは点検出来る fact6: もし仮になんらかの物は結核登録者だとしたら「それは増え過ぎないしまたそれは連邦裁判所だ」ということは成り立たない fact7: 仮にその情緒面は雲文であるかまたは点検出来ないかもしくは両方ともであるとすれば「その者・部門はタイ系民族でない」ということは事実である fact8: もしその者・部門が罪深くないならば居着くし結核登録者だ fact9: その情緒面が点検出来るかあるいはタイ系民族でないかもしくは両方ともだとしたらその者・部門は連邦裁判所でない fact10: もしその情緒面が点検出来ないとするとその者・部門はタイ系民族だということはない fact11: 仮にあの順番待ちが居着かないが増え過ぎるとしたらその者・部門は結核登録者でない fact12: もしもその情緒面が連邦裁判所だとすればこの骨幹端は雲文だ fact13: その情緒面は点検出来る fact14: もし仮に連邦裁判所がタイ系民族なら点検出来ない fact15: もし仮にその情緒面が連邦裁判所だしまた結核登録者ならばそれは雲文だ fact16: その者・部門は連邦裁判所でないが結核登録者だ fact17: その者・部門は連邦裁判所でない fact18: とあるものが結核登録者でないとしたらその情緒面はタイ系民族であるかあるいはそれは連邦裁判所であるかまたは両方である fact19: その者・部門は連邦裁判所であるかもしくは雲文でないかまたは両方ともだ fact20: 罪深くないものは居着かないけど増え過ぎる fact21: 仮にその者・部門が連邦裁判所だし結核登録者だとしたらタイ系民族だ
void -> assump1: 以下のように仮定する。その情緒面は雲文であるかあるいはそれは点検出来ない; fact7 & assump1 -> int1: その者・部門はタイ系民族でない; fact3 & fact16 -> int2: その者・部門はタイ系民族である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その情緒面は雲文であるかまたは点検出来ないかどちらもだ
fact22 -> int4: もしもその情緒面は連邦裁判所だししかもタイ系民族であるとするとそれは点検出来るということはない; fact25 -> int5: 仮にその者・部門は結核登録者であるとしたら「それは増え過ぎないが連邦裁判所だ」ということは成り立たない;
$facts$ = fact1: 「とあるものは操作し易くない一方で分かれる」ということは成り立たないならばそれは罪深くない fact2: 「その者・部門は増え過ぎないけど連邦裁判所である」ということは成り立たないとするとその情緒面は連邦裁判所である fact3: もしもその者・部門が連邦裁判所であるということはない一方でそれは結核登録者なら「それはタイ系民族である」ということは真実である fact4: もし仮になにがしかの物は御早いならば「操作し易くないがしかし分かれる」ということは間違いだ fact5: その情緒面は雲文であるかあるいはそれは点検出来る fact6: もし仮になんらかの物は結核登録者だとしたら「それは増え過ぎないしまたそれは連邦裁判所だ」ということは成り立たない fact7: 仮にその情緒面は雲文であるかまたは点検出来ないかもしくは両方ともであるとすれば「その者・部門はタイ系民族でない」ということは事実である fact8: もしその者・部門が罪深くないならば居着くし結核登録者だ fact9: その情緒面が点検出来るかあるいはタイ系民族でないかもしくは両方ともだとしたらその者・部門は連邦裁判所でない fact10: もしその情緒面が点検出来ないとするとその者・部門はタイ系民族だということはない fact11: 仮にあの順番待ちが居着かないが増え過ぎるとしたらその者・部門は結核登録者でない fact12: もしもその情緒面が連邦裁判所だとすればこの骨幹端は雲文だ fact13: その情緒面は点検出来る fact14: もし仮に連邦裁判所がタイ系民族なら点検出来ない fact15: もし仮にその情緒面が連邦裁判所だしまた結核登録者ならばそれは雲文だ fact16: その者・部門は連邦裁判所でないが結核登録者だ fact17: その者・部門は連邦裁判所でない fact18: とあるものが結核登録者でないとしたらその情緒面はタイ系民族であるかあるいはそれは連邦裁判所であるかまたは両方である fact19: その者・部門は連邦裁判所であるかもしくは雲文でないかまたは両方ともだ fact20: 罪深くないものは居着かないけど増え過ぎる fact21: 仮にその者・部門が連邦裁判所だし結核登録者だとしたらタイ系民族だ ; $hypothesis$ = 「その情緒面は雲文であるかまたは点検出来るということはないかまたは両方ともだ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その情緒面は雲文であるかあるいはそれは点検出来ない; fact7 & assump1 -> int1: その者・部門はタイ系民族でない; fact3 & fact16 -> int2: その者・部門はタイ系民族である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「とあるものは操作し易くない一方で分かれる」ということは成り立たないならばそれは罪深くない
事実2: 「その者・部門は増え過ぎないけど連邦裁判所である」ということは成り立たないとするとその情緒面は連邦裁判所である
事実3: もしもその者・部門が連邦裁判所であるということはない一方でそれは結核登録者なら「それはタイ系民族である」ということは真実である
事実4: もし仮になにがしかの物は御早いならば「操作し易くないがしかし分かれる」ということは間違いだ
事実5: その情緒面は雲文であるかあるいはそれは点検出来る
事実6: もし仮になんらかの物は結核登録者だとしたら「それは増え過ぎないしまたそれは連邦裁判所だ」ということは成り立たない
事実7: 仮にその情緒面は雲文であるかまたは点検出来ないかもしくは両方ともであるとすれば「その者・部門はタイ系民族でない」ということは事実である
事実8: もしその者・部門が罪深くないならば居着くし結核登録者だ
事実9: その情緒面が点検出来るかあるいはタイ系民族でないかもしくは両方ともだとしたらその者・部門は連邦裁判所でない
事実10: もしその情緒面が点検出来ないとするとその者・部門はタイ系民族だということはない
事実11: 仮にあの順番待ちが居着かないが増え過ぎるとしたらその者・部門は結核登録者でない
事実12: もしもその情緒面が連邦裁判所だとすればこの骨幹端は雲文だ
事実13: その情緒面は点検出来る
事実14: もし仮に連邦裁判所がタイ系民族なら点検出来ない
事実15: もし仮にその情緒面が連邦裁判所だしまた結核登録者ならばそれは雲文だ
事実16: その者・部門は連邦裁判所でないが結核登録者だ
事実17: その者・部門は連邦裁判所でない
事実18: とあるものが結核登録者でないとしたらその情緒面はタイ系民族であるかあるいはそれは連邦裁判所であるかまたは両方である
事実19: その者・部門は連邦裁判所であるかもしくは雲文でないかまたは両方ともだ
事実20: 罪深くないものは居着かないけど増え過ぎる
事実21: 仮にその者・部門が連邦裁判所だし結核登録者だとしたらタイ系民族だ

仮説: 「その情緒面は雲文であるかまたは点検出来るということはないかまたは両方ともだ」ということは偽である
1. 仮定1: 以下のように仮定する。その情緒面は雲文であるかあるいはそれは点検出来ない
2. 事実7と仮定1から、推論1: "その者・部門はタイ系民族でない"が導かれる
3. 事実3と事実16から、推論2: "その者・部門はタイ系民族である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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