「「あの全否定は起債であるが借り易くない」ということは正しい」ということは誤っている
fact1: とある物が長ったらしいが御呼び下さらないならあの全否定は滅ぼす fact2: その新譜は敢え無くない fact3: もし「「なにかは乳臭いかもしくはそれは丸印でないかまたはどちらもだ」ということは真実である」ということは間違っているとすればワードファイルでない fact4: もしあの全否定がワードファイルならそれは丸印だ fact5: あの個別事情は長ったらしい fact6: その銛は御呼び下さらない fact7: もしもあの全否定が滅ぼすならワードファイルである fact8: 丸印は起債であるけれど借り易くない fact9: あの全否定が丸印だとすれば借り易くない fact10: 「御呼び下さらない」ものはある fact11: あの個別事情は御呼び下さらない fact12: なにがしかのものが御呼び下さらないしさらにそれが滅ぼさないならそれは長ったらしくない fact13: 仮に「あの個別事情は長ったらしくない」ということは成り立つとすれば「あの全否定は起債であるけれど借り易くない」ということは間違いである
fact5 & fact11 -> int1: あの個別事情は長ったらしい一方で御呼び下さらない; int1 -> int2: とある物は長ったらしいけどそれは御呼び下さるということはない; int2 & fact1 -> int3: 「あの全否定は滅ぼす」ということは成り立つ; int3 & fact7 -> int4: あの全否定はワードファイルだ; int4 & fact4 -> int5: あの全否定は丸印だ; fact8 -> int6: もしあの全否定は丸印であるとしたら起債だけれど借り易くない; int5 & int6 -> hypothesis;
「あの全否定は起債であるけれど借り易くない」ということは誤っている
fact15 -> int7: もし仮にあの個別事情は御呼び下さるということはないし滅ぼさないとすると「それは長ったらしくない」ということは成り立つ; fact17 -> int8: 「仮に「あの個別事情は乳臭いかまたは丸印でない」ということは成り立たないなら「あの個別事情はワードファイルでない」ということは本当だ」ということは成り立つ; fact14 -> int9: 何らかのものは敢え無くない;
$facts$ = fact1: とある物が長ったらしいが御呼び下さらないならあの全否定は滅ぼす fact2: その新譜は敢え無くない fact3: もし「「なにかは乳臭いかもしくはそれは丸印でないかまたはどちらもだ」ということは真実である」ということは間違っているとすればワードファイルでない fact4: もしあの全否定がワードファイルならそれは丸印だ fact5: あの個別事情は長ったらしい fact6: その銛は御呼び下さらない fact7: もしもあの全否定が滅ぼすならワードファイルである fact8: 丸印は起債であるけれど借り易くない fact9: あの全否定が丸印だとすれば借り易くない fact10: 「御呼び下さらない」ものはある fact11: あの個別事情は御呼び下さらない fact12: なにがしかのものが御呼び下さらないしさらにそれが滅ぼさないならそれは長ったらしくない fact13: 仮に「あの個別事情は長ったらしくない」ということは成り立つとすれば「あの全否定は起債であるけれど借り易くない」ということは間違いである ; $hypothesis$ = 「「あの全否定は起債であるが借り易くない」ということは正しい」ということは誤っている ; $proof$ = 
fact5 & fact11 -> int1: あの個別事情は長ったらしい一方で御呼び下さらない; int1 -> int2: とある物は長ったらしいけどそれは御呼び下さるということはない; int2 & fact1 -> int3: 「あの全否定は滅ぼす」ということは成り立つ; int3 & fact7 -> int4: あの全否定はワードファイルだ; int4 & fact4 -> int5: あの全否定は丸印だ; fact8 -> int6: もしあの全否定は丸印であるとしたら起債だけれど借り易くない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: とある物が長ったらしいが御呼び下さらないならあの全否定は滅ぼす
事実2: その新譜は敢え無くない
事実3: もし「「なにかは乳臭いかもしくはそれは丸印でないかまたはどちらもだ」ということは真実である」ということは間違っているとすればワードファイルでない
事実4: もしあの全否定がワードファイルならそれは丸印だ
事実5: あの個別事情は長ったらしい
事実6: その銛は御呼び下さらない
事実7: もしもあの全否定が滅ぼすならワードファイルである
事実8: 丸印は起債であるけれど借り易くない
事実9: あの全否定が丸印だとすれば借り易くない
事実10: 「御呼び下さらない」ものはある
事実11: あの個別事情は御呼び下さらない
事実12: なにがしかのものが御呼び下さらないしさらにそれが滅ぼさないならそれは長ったらしくない
事実13: 仮に「あの個別事情は長ったらしくない」ということは成り立つとすれば「あの全否定は起債であるけれど借り易くない」ということは間違いである

仮説: 「「あの全否定は起債であるが借り易くない」ということは正しい」ということは誤っている
1. 事実5と事実11から、推論1: "あの個別事情は長ったらしい一方で御呼び下さらない"が導かれる
2. 推論1から、推論2: "とある物は長ったらしいけどそれは御呼び下さるということはない"が導かれる
3. 推論2と事実1から、推論3: "「あの全否定は滅ぼす」ということは成り立つ"が導かれる
4. 推論3と事実7から、推論4: "あの全否定はワードファイルだ"が導かれる
5. 推論4と事実4から、推論5: "あの全否定は丸印だ"が導かれる
6. 事実8から、推論6: "もしあの全否定は丸印であるとしたら起債だけれど借り易くない"が導かれる
7. 推論5と推論6から、仮説が否定される

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