「もしこの副腎が殺さないとしたらあの術創は農学でない」ということは誤りだ
fact1: あの術創は御尻でない fact2: もしも「「踏み開かないかもしくは刈り込まないかあるいは両方である」ということは成り立たない」ものがあるとするとあの術創は農学だ fact3: もし仮にこの副腎が殺すとすれば写生する fact4: この副腎が殺すとしたらあの術創は農学でない fact5: あの術創は踏み開かない fact6: 仮にこの副腎が回りくどいとすれば殺す fact7: この副腎は五ファンだ fact8: この副腎は荒っぽくない fact9: あの術創は睦まじい fact10: もしなんらかのものは踏み開かないならば「回りくどくてそれに殺す」ということは成り立つということはない fact11: なんらかのものは回りくどくないとしたら「それは踏み開かないかまたは刈り込まない」ということは成り立つということはない fact12: 仮に「なんらかのものは農学でないがしかし御辛い」ということは間違っているとしたら踏み開かない fact13: 「「踏み開かないかもしくは刈り込まない」ということは成り立つということはない」ものがあるとしたらあの術創は農学だということはない fact14: 「この副腎は殺さない」ということは本当なら「あの術創は農学である」ということは成り立つ fact15: 「「公開しないかもしくは脆くないかまたは両方だ」ということは嘘な」物はある fact16: 仮にあの術創が踏み開くとするとそれは農学である fact17: もしも「「回りくどいということはないかあるいは農学であるということはないかもしくは両方ともだ」ということは成り立たない」物はあるなら「この副腎は殺さない」ということは成り立つ fact18: 「踏み開かないかもしくは刈り込むということはないかあるいは両方な」ものはある fact19: その随時更新は酔い易くないとすると「それは辛気臭いということはないかあるいは出会わさないかまたは両方である」ということは間違っている fact20: もしも何かは快癒しないとすれば「「評価場面でないかまたはそれは温かくない」ということは本当だ」ということは事実と異なる fact21: もし「「踏み開くということはないかまたは刈り込むかあるいはどちらもだ」ということは成り立たない」物があるとしたらあの術創は農学でない fact22: もし仮に「「「踏み開くかもしくは刈り込まないかまたは両方である」ということは事実だ」ということは間違いである」物があるとすればあの術創は農学でない
void -> assump1: 以下のように仮定する。この副腎は回りくどい; fact6 & assump1 -> int1: この副腎は殺す; void -> assump2: 以下のように仮定する。「この副腎は殺さない」ということは本当だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この副腎は回りくどくない; fact11 -> int4: もしもこの副腎は回りくどくないとしたら「それは踏み開くということはないかもしくは刈り込まないかあるいはどちらもである」ということは間違っている; int3 & int4 -> int5: 「この副腎は踏み開くということはないかあるいは刈り込むということはないかもしくは両方ともだ」ということは嘘である; int5 -> int6: 「「踏み開かないかまたは刈り込まないかまたは両方だ」ということは成り立たない」物はある; int6 & fact13 -> int7: あの術創は農学でない; [assump2] & int7 -> hypothesis;
この五卿は刈り込まない
fact24 -> int8: もし仮にあの術創は踏み開かないなら「それは回りくどいしまた殺す」ということは嘘である; fact23 -> int9: もし「あの術創は農学だということはないけれど御辛い」ということは間違っているとすれば踏み開くということはない;
$facts$ = fact1: あの術創は御尻でない fact2: もしも「「踏み開かないかもしくは刈り込まないかあるいは両方である」ということは成り立たない」ものがあるとするとあの術創は農学だ fact3: もし仮にこの副腎が殺すとすれば写生する fact4: この副腎が殺すとしたらあの術創は農学でない fact5: あの術創は踏み開かない fact6: 仮にこの副腎が回りくどいとすれば殺す fact7: この副腎は五ファンだ fact8: この副腎は荒っぽくない fact9: あの術創は睦まじい fact10: もしなんらかのものは踏み開かないならば「回りくどくてそれに殺す」ということは成り立つということはない fact11: なんらかのものは回りくどくないとしたら「それは踏み開かないかまたは刈り込まない」ということは成り立つということはない fact12: 仮に「なんらかのものは農学でないがしかし御辛い」ということは間違っているとしたら踏み開かない fact13: 「「踏み開かないかもしくは刈り込まない」ということは成り立つということはない」ものがあるとしたらあの術創は農学だということはない fact14: 「この副腎は殺さない」ということは本当なら「あの術創は農学である」ということは成り立つ fact15: 「「公開しないかもしくは脆くないかまたは両方だ」ということは嘘な」物はある fact16: 仮にあの術創が踏み開くとするとそれは農学である fact17: もしも「「回りくどいということはないかあるいは農学であるということはないかもしくは両方ともだ」ということは成り立たない」物はあるなら「この副腎は殺さない」ということは成り立つ fact18: 「踏み開かないかもしくは刈り込むということはないかあるいは両方な」ものはある fact19: その随時更新は酔い易くないとすると「それは辛気臭いということはないかあるいは出会わさないかまたは両方である」ということは間違っている fact20: もしも何かは快癒しないとすれば「「評価場面でないかまたはそれは温かくない」ということは本当だ」ということは事実と異なる fact21: もし「「踏み開くということはないかまたは刈り込むかあるいはどちらもだ」ということは成り立たない」物があるとしたらあの術創は農学でない fact22: もし仮に「「「踏み開くかもしくは刈り込まないかまたは両方である」ということは事実だ」ということは間違いである」物があるとすればあの術創は農学でない ; $hypothesis$ = 「もしこの副腎が殺さないとしたらあの術創は農学でない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この副腎は回りくどい; fact6 & assump1 -> int1: この副腎は殺す; void -> assump2: 以下のように仮定する。「この副腎は殺さない」ということは本当だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この副腎は回りくどくない; fact11 -> int4: もしもこの副腎は回りくどくないとしたら「それは踏み開くということはないかもしくは刈り込まないかあるいはどちらもである」ということは間違っている; int3 & int4 -> int5: 「この副腎は踏み開くということはないかあるいは刈り込むということはないかもしくは両方ともだ」ということは嘘である; int5 -> int6: 「「踏み開かないかまたは刈り込まないかまたは両方だ」ということは成り立たない」物はある; int6 & fact13 -> int7: あの術創は農学でない; [assump2] & int7 -> hypothesis; __DISPROVED__
事実1: あの術創は御尻でない
事実2: もしも「「踏み開かないかもしくは刈り込まないかあるいは両方である」ということは成り立たない」ものがあるとするとあの術創は農学だ
事実3: もし仮にこの副腎が殺すとすれば写生する
事実4: この副腎が殺すとしたらあの術創は農学でない
事実5: あの術創は踏み開かない
事実6: 仮にこの副腎が回りくどいとすれば殺す
事実7: この副腎は五ファンだ
事実8: この副腎は荒っぽくない
事実9: あの術創は睦まじい
事実10: もしなんらかのものは踏み開かないならば「回りくどくてそれに殺す」ということは成り立つということはない
事実11: なんらかのものは回りくどくないとしたら「それは踏み開かないかまたは刈り込まない」ということは成り立つということはない
事実12: 仮に「なんらかのものは農学でないがしかし御辛い」ということは間違っているとしたら踏み開かない
事実13: 「「踏み開かないかもしくは刈り込まない」ということは成り立つということはない」ものがあるとしたらあの術創は農学だということはない
事実14: 「この副腎は殺さない」ということは本当なら「あの術創は農学である」ということは成り立つ
事実15: 「「公開しないかもしくは脆くないかまたは両方だ」ということは嘘な」物はある
事実16: 仮にあの術創が踏み開くとするとそれは農学である
事実17: もしも「「回りくどいということはないかあるいは農学であるということはないかもしくは両方ともだ」ということは成り立たない」物はあるなら「この副腎は殺さない」ということは成り立つ
事実18: 「踏み開かないかもしくは刈り込むということはないかあるいは両方な」ものはある
事実19: その随時更新は酔い易くないとすると「それは辛気臭いということはないかあるいは出会わさないかまたは両方である」ということは間違っている
事実20: もしも何かは快癒しないとすれば「「評価場面でないかまたはそれは温かくない」ということは本当だ」ということは事実と異なる
事実21: もし「「踏み開くということはないかまたは刈り込むかあるいはどちらもだ」ということは成り立たない」物があるとしたらあの術創は農学でない
事実22: もし仮に「「「踏み開くかもしくは刈り込まないかまたは両方である」ということは事実だ」ということは間違いである」物があるとすればあの術創は農学でない

仮説: 「もしこの副腎が殺さないとしたらあの術創は農学でない」ということは誤りだ
1. 仮定1: 以下のように仮定する。この副腎は回りくどい
2. 事実6と仮定1から、推論1: "この副腎は殺す"が導かれる
3. 仮定2: 以下のように仮定する。「この副腎は殺さない」ということは本当だ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この副腎は回りくどくない"が導かれる
6. 事実11から、推論4: "もしもこの副腎は回りくどくないとしたら「それは踏み開くということはないかもしくは刈り込まないかあるいはどちらもである」ということは間違っている"が導かれる
7. 推論3と推論4から、推論5: "「この副腎は踏み開くということはないかあるいは刈り込むということはないかもしくは両方ともだ」ということは嘘である"が導かれる
8. 推論5から、推論6: "「「踏み開かないかまたは刈り込まないかまたは両方だ」ということは成り立たない」物はある"が導かれる
9. 推論6と事実13から、推論7: "あの術創は農学でない"が導かれる
10. [仮定2]と推論7から、仮説が否定される

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