その二章は麗しない
fact1: 仮にあるものは有声音でないとしたら考え掛ける一方で止む無くない fact2: その放牧は平ったいし更に懇望する fact3: 「その二章は止む無くてそれは掴み難い」ということは誤っている fact4: もし仮に「その二章は止む無くてまた掴み難い」ということは偽だとすれば止む無くない fact5: このホバリングは千九百七十三年秋でなくてかつ掴み難くない fact6: もしもその放牧が止む無くてかつ懇望するとしたらその二章は麗しということはない fact7: その放牧は面目無い fact8: 「その放牧は麗しし平ったい」ということは正しくない fact9: その放牧が平ったいしそれは懇望するとすると「その二章は考え掛けるということはない」ということは成り立つ fact10: もしも何かは止む無くないならば「考え掛けないしその上麗しない」ということは間違いだ fact11: その二章は井戸掘りだということはない fact12: もしなにかは考え掛ける一方でそれが止む無くないとすると麗しない fact13: もしその二章は平ったいしまた懇望するとしたら「その放牧は麗しない」ということは成り立つ
fact9 & fact2 -> int1: その二章は考え掛けるということはない; void -> assump1: 以下のように仮定する。その二章は麗しない; int1 & assump1 -> int2: その二章は考え掛けなくて加えてそれは麗しない; fact3 & fact4 -> int3: その二章は止む無くない; fact10 -> int4: もしもその二章は止む無くないなら「考え掛けないし麗しない」ということは真実でない; int3 & int4 -> int5: 「その二章は考え掛けないし加えて麗しということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その二章は麗しない
fact14 -> int7: もしその二章は考え掛ける一方で止む無いということはないとすれば麗しない; fact15 -> int8: その二章は有声音であるということはないとすると「それは考え掛けるけれど止む無くない」ということは確かである;
$facts$ = fact1: 仮にあるものは有声音でないとしたら考え掛ける一方で止む無くない fact2: その放牧は平ったいし更に懇望する fact3: 「その二章は止む無くてそれは掴み難い」ということは誤っている fact4: もし仮に「その二章は止む無くてまた掴み難い」ということは偽だとすれば止む無くない fact5: このホバリングは千九百七十三年秋でなくてかつ掴み難くない fact6: もしもその放牧が止む無くてかつ懇望するとしたらその二章は麗しということはない fact7: その放牧は面目無い fact8: 「その放牧は麗しし平ったい」ということは正しくない fact9: その放牧が平ったいしそれは懇望するとすると「その二章は考え掛けるということはない」ということは成り立つ fact10: もしも何かは止む無くないならば「考え掛けないしその上麗しない」ということは間違いだ fact11: その二章は井戸掘りだということはない fact12: もしなにかは考え掛ける一方でそれが止む無くないとすると麗しない fact13: もしその二章は平ったいしまた懇望するとしたら「その放牧は麗しない」ということは成り立つ ; $hypothesis$ = その二章は麗しない ; $proof$ = 
fact9 & fact2 -> int1: その二章は考え掛けるということはない; void -> assump1: 以下のように仮定する。その二章は麗しない; int1 & assump1 -> int2: その二章は考え掛けなくて加えてそれは麗しない; fact3 & fact4 -> int3: その二章は止む無くない; fact10 -> int4: もしもその二章は止む無くないなら「考え掛けないし麗しない」ということは真実でない; int3 & int4 -> int5: 「その二章は考え掛けないし加えて麗しということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは有声音でないとしたら考え掛ける一方で止む無くない
事実2: その放牧は平ったいし更に懇望する
事実3: 「その二章は止む無くてそれは掴み難い」ということは誤っている
事実4: もし仮に「その二章は止む無くてまた掴み難い」ということは偽だとすれば止む無くない
事実5: このホバリングは千九百七十三年秋でなくてかつ掴み難くない
事実6: もしもその放牧が止む無くてかつ懇望するとしたらその二章は麗しということはない
事実7: その放牧は面目無い
事実8: 「その放牧は麗しし平ったい」ということは正しくない
事実9: その放牧が平ったいしそれは懇望するとすると「その二章は考え掛けるということはない」ということは成り立つ
事実10: もしも何かは止む無くないならば「考え掛けないしその上麗しない」ということは間違いだ
事実11: その二章は井戸掘りだということはない
事実12: もしなにかは考え掛ける一方でそれが止む無くないとすると麗しない
事実13: もしその二章は平ったいしまた懇望するとしたら「その放牧は麗しない」ということは成り立つ

仮説: その二章は麗しない
1. 事実9と事実2から、推論1: "その二章は考え掛けるということはない"が導かれる
2. 仮定1: 以下のように仮定する。その二章は麗しない
3. 推論1と仮定1から、推論2: "その二章は考え掛けなくて加えてそれは麗しない"が導かれる
4. 事実3と事実4から、推論3: "その二章は止む無くない"が導かれる
5. 事実10から、推論4: "もしもその二章は止む無くないなら「考え掛けないし麗しない」ということは真実でない"が導かれる
6. 推論3と推論4から、推論5: "「その二章は考え掛けないし加えて麗しということはない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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