「もし仮にこの梵天が何等関係でないとしたらこの梵天は通り易いけれどそれは測量隊でない」ということは間違いだ
fact1: 過不足無くないものは起こし易いししかも何等関係だ fact2: もし仮にこの梵天が何等関係であるとしたらそれが通り易いしその上測量隊であるということはない fact3: この梵天が起こし易いならば測量隊でない fact4: この梵天は岩戸でない fact5: この梵天が弾き返さないとすれば人間らしい fact6: もし仮に「この梵天は憂い」ということは誤りでないならそれは測量隊でない fact7: もし仮にその耐疲労性は降り出せば「起こし易くない」ということは本当である fact8: もしもあのスーパーセットが育て易くないけれどそれが誘導体であるとするとその慈善は過不足無くない fact9: もし仮に「この梵天は通り易くないが測量隊だ」ということは成り立たないならば「あの英植民地帝国は測量隊でない」ということは確かである fact10: もし仮にこの梵天は測量隊でないならそれは涵養するけど師事しない fact11: 「この日本最大は測量隊でない」ということは確かである fact12: この梵天はしぶといがしかしそれは成熟産業だということはない fact13: この管理組合運営は測量隊だ fact14: もしもこの梵天が何等関係だということはないならそれは通り易い fact15: もし「この梵天は測量隊である」ということは成り立つとするとそれは麻酔維持でない fact16: もしもこの梵天が通り易くないならば嘆かわしくておまけにそれは心地良くない fact17: 「あの国際収支が通り易くないならあの国際収支は指令するがロック出来ない」ということは正しい fact18: この梵天は遺作でない fact19: もし仮にこの梵天が何等関係なら通り易い fact20: 仮にこの梵天が柔いならばそれは独立出来ない fact21: この梵天は起こし易い fact22: このレディ・ロングボーンは何等関係だ
void -> assump1: 以下のように仮定する。「この梵天は何等関係でない」ということは成り立つ; fact14 & assump1 -> int1: この梵天は通り易い; fact3 & fact21 -> int2: この梵天は測量隊でない; int1 & int2 -> int3: この梵天は通り易いけれど測量隊でない; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact14 & assump1 -> int1: {B}{a}; fact3 & fact21 -> int2: ¬{C}{a}; int1 & int2 -> int3: ({B}{a} & ¬{C}{a}); [assump1] & int3 -> hypothesis;
あの英植民地帝国は測量隊でない
fact23 -> int4: もしその慈善が過不足無くないとしたらそれは起こし易くてさらにそれは何等関係である;
$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: 以下のように仮定する。「この梵天は何等関係でない」ということは成り立つ; fact14 & assump1 -> int1: この梵天は通り易い; fact3 & fact21 -> int2: この梵天は測量隊でない; int1 & int2 -> int3: この梵天は通り易いけれど測量隊でない; [assump1] & int3 -> 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. 事実14と仮定1から、推論1: "この梵天は通り易い"が導かれる
3. 事実3と事実21から、推論2: "この梵天は測量隊でない"が導かれる
4. 推論1と推論2から、推論3: "この梵天は通り易いけれど測量隊でない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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