「あの内灘闘争は接近し易くないしおまけにそれはそつ無いということはない」ということは嘘である
fact1: 「あの言表表現性はアメリカっぽくないか近寄り難いか両方だ」ということは偽だ fact2: もしも「「あの舞楽は御若いしまた誓約する」ということは本当でない」ということは間違いでないとすれば「そのスケジュール帳は誓約するということはない」ということは事実である fact3: 「もし仮にこの脾臓がトラブル解決で更に引き違いだとしたらこの脾臓は話し辛くない」ということは成り立つ fact4: もし仮にあの言表表現性が考え込まないしさらにそれが勇躍するということはないとすればあの内灘闘争は醜い fact5: 「そのスケジュール帳は勇躍するし考え込む」ということは誤っているとすると「あの言表表現性は勇躍しない」ということは成り立つ fact6: あのアレルギー用粉ミルクが近付き易くないとしたら発たないかまたは詮無いかもしくはどちらもだ fact7: もしも近付き易くない物が醜いとすればこの脾臓は話し辛いということはない fact8: もしもあの内灘闘争が醜いということはなくてそつ無くないとしたらこの脾臓は接近し易い fact9: もしもあの内灘闘争は話し辛くないなら「それはＸＰＳでないかまたはそれは買い時である」ということは事実だ fact10: 近付き易いものがあるとしたらあの内灘闘争はそつ無くない fact11: 「あの内灘闘争はＸＰＳであるということはないかまたは買い時であるか両方ともである」ということは誤りだ fact12: 話し辛いものが醜いなら接近し易くない fact13: 「すべてのものは近付き易い」ということは本当である fact14: あの言表表現性は考え込まないし勇躍しない fact15: 「あの舞楽は御若いしその上誓約する」ということは偽である fact16: とある物は誓約しないとすれば「それは勇躍するし加えて考え込む」ということは誤りである
void -> assump1: 以下のように仮定する。あの内灘闘争は話し辛くない; fact9 & assump1 -> int1: あの内灘闘争はＸＰＳでないか買い時であるかまたは両方ともだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの内灘闘争は話し辛い; fact14 & fact4 -> int4: あの内灘闘争は醜い; int3 & int4 -> int5: あの内灘闘争は話し辛いしその上醜い; fact12 -> int6: もしあの内灘闘争は話し辛くて醜いとしたら「接近し易くない」ということは偽でない; int5 & int6 -> int7: あの内灘闘争は接近し易くない; fact13 -> int8: 「この脾臓は近付き易い」ということは成り立つ; int8 -> int9: 近付き易い物はある; int9 & fact10 -> int10: あの内灘闘争はそつ無くない; int7 & int10 -> hypothesis;
「「あの内灘闘争は接近し易くないしさらにそつ無くない」ということは偽だ」ということは事実である
fact19 -> int11: もし仮にそのスケジュール帳は誓約するということはないとすれば「勇躍するしその上考え込む」ということは成り立たない; fact17 & fact21 -> int12: そのスケジュール帳は誓約しない; int11 & int12 -> int13: 「そのスケジュール帳は勇躍するし更に考え込む」ということは間違いだ; fact18 & int13 -> int14: あの言表表現性は勇躍するということはない;
$facts$ = fact1: 「あの言表表現性はアメリカっぽくないか近寄り難いか両方だ」ということは偽だ fact2: もしも「「あの舞楽は御若いしまた誓約する」ということは本当でない」ということは間違いでないとすれば「そのスケジュール帳は誓約するということはない」ということは事実である fact3: 「もし仮にこの脾臓がトラブル解決で更に引き違いだとしたらこの脾臓は話し辛くない」ということは成り立つ fact4: もし仮にあの言表表現性が考え込まないしさらにそれが勇躍するということはないとすればあの内灘闘争は醜い fact5: 「そのスケジュール帳は勇躍するし考え込む」ということは誤っているとすると「あの言表表現性は勇躍しない」ということは成り立つ fact6: あのアレルギー用粉ミルクが近付き易くないとしたら発たないかまたは詮無いかもしくはどちらもだ fact7: もしも近付き易くない物が醜いとすればこの脾臓は話し辛いということはない fact8: もしもあの内灘闘争が醜いということはなくてそつ無くないとしたらこの脾臓は接近し易い fact9: もしもあの内灘闘争は話し辛くないなら「それはＸＰＳでないかまたはそれは買い時である」ということは事実だ fact10: 近付き易いものがあるとしたらあの内灘闘争はそつ無くない fact11: 「あの内灘闘争はＸＰＳであるということはないかまたは買い時であるか両方ともである」ということは誤りだ fact12: 話し辛いものが醜いなら接近し易くない fact13: 「すべてのものは近付き易い」ということは本当である fact14: あの言表表現性は考え込まないし勇躍しない fact15: 「あの舞楽は御若いしその上誓約する」ということは偽である fact16: とある物は誓約しないとすれば「それは勇躍するし加えて考え込む」ということは誤りである ; $hypothesis$ = 「あの内灘闘争は接近し易くないしおまけにそれはそつ無いということはない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの内灘闘争は話し辛くない; fact9 & assump1 -> int1: あの内灘闘争はＸＰＳでないか買い時であるかまたは両方ともだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの内灘闘争は話し辛い; fact14 & fact4 -> int4: あの内灘闘争は醜い; int3 & int4 -> int5: あの内灘闘争は話し辛いしその上醜い; fact12 -> int6: もしあの内灘闘争は話し辛くて醜いとしたら「接近し易くない」ということは偽でない; int5 & int6 -> int7: あの内灘闘争は接近し易くない; fact13 -> int8: 「この脾臓は近付き易い」ということは成り立つ; int8 -> int9: 近付き易い物はある; int9 & fact10 -> int10: あの内灘闘争はそつ無くない; int7 & int10 -> hypothesis; __DISPROVED__
事実1: 「あの言表表現性はアメリカっぽくないか近寄り難いか両方だ」ということは偽だ
事実2: もしも「「あの舞楽は御若いしまた誓約する」ということは本当でない」ということは間違いでないとすれば「そのスケジュール帳は誓約するということはない」ということは事実である
事実3: 「もし仮にこの脾臓がトラブル解決で更に引き違いだとしたらこの脾臓は話し辛くない」ということは成り立つ
事実4: もし仮にあの言表表現性が考え込まないしさらにそれが勇躍するということはないとすればあの内灘闘争は醜い
事実5: 「そのスケジュール帳は勇躍するし考え込む」ということは誤っているとすると「あの言表表現性は勇躍しない」ということは成り立つ
事実6: あのアレルギー用粉ミルクが近付き易くないとしたら発たないかまたは詮無いかもしくはどちらもだ
事実7: もしも近付き易くない物が醜いとすればこの脾臓は話し辛いということはない
事実8: もしもあの内灘闘争が醜いということはなくてそつ無くないとしたらこの脾臓は接近し易い
事実9: もしもあの内灘闘争は話し辛くないなら「それはＸＰＳでないかまたはそれは買い時である」ということは事実だ
事実10: 近付き易いものがあるとしたらあの内灘闘争はそつ無くない
事実11: 「あの内灘闘争はＸＰＳであるということはないかまたは買い時であるか両方ともである」ということは誤りだ
事実12: 話し辛いものが醜いなら接近し易くない
事実13: 「すべてのものは近付き易い」ということは本当である
事実14: あの言表表現性は考え込まないし勇躍しない
事実15: 「あの舞楽は御若いしその上誓約する」ということは偽である
事実16: とある物は誓約しないとすれば「それは勇躍するし加えて考え込む」ということは誤りである

仮説: 「あの内灘闘争は接近し易くないしおまけにそれはそつ無いということはない」ということは嘘である
1. 仮定1: 以下のように仮定する。あの内灘闘争は話し辛くない
2. 事実9と仮定1から、推論1: "あの内灘闘争はＸＰＳでないか買い時であるかまたは両方ともだ"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの内灘闘争は話し辛い"が導かれる
5. 事実14と事実4から、推論4: "あの内灘闘争は醜い"が導かれる
6. 推論3と推論4から、推論5: "あの内灘闘争は話し辛いしその上醜い"が導かれる
7. 事実12から、推論6: "もしあの内灘闘争は話し辛くて醜いとしたら「接近し易くない」ということは偽でない"が導かれる
8. 推論5と推論6から、推論7: "あの内灘闘争は接近し易くない"が導かれる
9. 事実13から、推論8: "「この脾臓は近付き易い」ということは成り立つ"が導かれる
10. 推論8から、推論9: "近付き易い物はある"が導かれる
11. 推論9と事実10から、推論10: "あの内灘闘争はそつ無くない"が導かれる
12. 推論7と推論10から、仮説が否定される

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