この一定時点は腹黒い
fact1: もしも「等ししおまけに大リーグ野球な」物があるならその言語処理は比較出来ない fact2: もし「なんらかのものは関係深くてかつ分析・考察する」ということは間違いであるとするとそれは分析・考察しない fact3: もし仮にその御先祖様が等しないとすればあの一定時点は等し fact4: もしもあるものは大リーグ野球でないとすると「それは比較出来ない一方で等し」ということは間違いだ fact5: この一定時点は分析・考察しない fact6: 「「等し」ものはある」ということは確かだ fact7: その言語処理は除架しない fact8: 「その御先祖様は除架するかまたは分析・考察するかあるいは両方ともである」ということは成り立つ fact9: もしその言語処理は除架しないとしたら「それは関係深いし加えて分析・考察する」ということは成り立たない fact10: その御先祖様は等し fact11: もしもその御先祖様が大リーグ野球であるということはないとすると除架するかそれは分析・考察するかもしくはどちらもである fact12: その言語処理は比較出来る fact13: もしもその御先祖様が大リーグ野球でないならそれは除架しないかもしくはそれは分析・考察するか両方ともだ fact14: 仮にその御先祖様が除架しないならこの一定時点は腹黒くない fact15: そのココアは比較出来る fact16: もし何らかのものが等しとすればそれは腹黒い fact17: 仮にその御先祖様が除架しないかまたはそれが分析・考察するかあるいは両方ともであるとするとこの一定時点は腹黒くない fact18: 「大リーグ野球である」ものはある
void -> assump1: 以下のように仮定する。「その御先祖様は大リーグ野球である」ということは真実だ; fact10 & assump1 -> int1: その御先祖様は等しし大リーグ野球である; int1 -> int2: 「等ししそれに大リーグ野球である」物はある; int2 & fact1 -> int3: その言語処理は比較出来ない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: その御先祖様は大リーグ野球でない; int5 & fact13 -> int6: その御先祖様は除架しないか分析・考察する; int6 & fact17 -> hypothesis;
この人材活用は腹黒くないか還元出来るかまたは両方ともである
fact19 -> int7: もしもその言語処理は大リーグ野球でないとすれば「それは比較出来なくて等し」ということは成り立たない;
$facts$ = fact1: もしも「等ししおまけに大リーグ野球な」物があるならその言語処理は比較出来ない fact2: もし「なんらかのものは関係深くてかつ分析・考察する」ということは間違いであるとするとそれは分析・考察しない fact3: もし仮にその御先祖様が等しないとすればあの一定時点は等し fact4: もしもあるものは大リーグ野球でないとすると「それは比較出来ない一方で等し」ということは間違いだ fact5: この一定時点は分析・考察しない fact6: 「「等し」ものはある」ということは確かだ fact7: その言語処理は除架しない fact8: 「その御先祖様は除架するかまたは分析・考察するかあるいは両方ともである」ということは成り立つ fact9: もしその言語処理は除架しないとしたら「それは関係深いし加えて分析・考察する」ということは成り立たない fact10: その御先祖様は等し fact11: もしもその御先祖様が大リーグ野球であるということはないとすると除架するかそれは分析・考察するかもしくはどちらもである fact12: その言語処理は比較出来る fact13: もしもその御先祖様が大リーグ野球でないならそれは除架しないかもしくはそれは分析・考察するか両方ともだ fact14: 仮にその御先祖様が除架しないならこの一定時点は腹黒くない fact15: そのココアは比較出来る fact16: もし何らかのものが等しとすればそれは腹黒い fact17: 仮にその御先祖様が除架しないかまたはそれが分析・考察するかあるいは両方ともであるとするとこの一定時点は腹黒くない fact18: 「大リーグ野球である」ものはある ; $hypothesis$ = この一定時点は腹黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その御先祖様は大リーグ野球である」ということは真実だ; fact10 & assump1 -> int1: その御先祖様は等しし大リーグ野球である; int1 -> int2: 「等ししそれに大リーグ野球である」物はある; int2 & fact1 -> int3: その言語処理は比較出来ない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: その御先祖様は大リーグ野球でない; int5 & fact13 -> int6: その御先祖様は除架しないか分析・考察する; int6 & fact17 -> hypothesis; __DISPROVED__
事実1: もしも「等ししおまけに大リーグ野球な」物があるならその言語処理は比較出来ない
事実2: もし「なんらかのものは関係深くてかつ分析・考察する」ということは間違いであるとするとそれは分析・考察しない
事実3: もし仮にその御先祖様が等しないとすればあの一定時点は等し
事実4: もしもあるものは大リーグ野球でないとすると「それは比較出来ない一方で等し」ということは間違いだ
事実5: この一定時点は分析・考察しない
事実6: 「「等し」ものはある」ということは確かだ
事実7: その言語処理は除架しない
事実8: 「その御先祖様は除架するかまたは分析・考察するかあるいは両方ともである」ということは成り立つ
事実9: もしその言語処理は除架しないとしたら「それは関係深いし加えて分析・考察する」ということは成り立たない
事実10: その御先祖様は等し
事実11: もしもその御先祖様が大リーグ野球であるということはないとすると除架するかそれは分析・考察するかもしくはどちらもである
事実12: その言語処理は比較出来る
事実13: もしもその御先祖様が大リーグ野球でないならそれは除架しないかもしくはそれは分析・考察するか両方ともだ
事実14: 仮にその御先祖様が除架しないならこの一定時点は腹黒くない
事実15: そのココアは比較出来る
事実16: もし何らかのものが等しとすればそれは腹黒い
事実17: 仮にその御先祖様が除架しないかまたはそれが分析・考察するかあるいは両方ともであるとするとこの一定時点は腹黒くない
事実18: 「大リーグ野球である」ものはある

仮説: この一定時点は腹黒い
1. 仮定1: 以下のように仮定する。「その御先祖様は大リーグ野球である」ということは真実だ
2. 事実10と仮定1から、推論1: "その御先祖様は等しし大リーグ野球である"が導かれる
3. 推論1から、推論2: "「等ししそれに大リーグ野球である」物はある"が導かれる
4. 推論2と事実1から、推論3: "その言語処理は比較出来ない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その御先祖様は大リーグ野球でない"が導かれる
7. 推論5と事実13から、推論6: "その御先祖様は除架しないか分析・考察する"が導かれる
8. 推論6と事実17から、仮説が否定される

よって、仮説が否定されました。