「あの御重臣方は蒸発源でないけれど編み付ける」ということは成り立つ
fact1: その鴨居屋は形成し始めるしおまけに時等だ fact2: あの御重臣方は編み付けるし加えて形成し始める fact3: そのインターホンは相関するしさらに掛かり易いとしたら女の子らしくない fact4: そのインターホンが時等だしそれは級友だ fact5: もしその鴨居屋は女の子らしいしおまけに形成し始めるとしたらそれは掛かり易くない fact6: 「そのポップアップウインドウは掛かり易くないけど沸かす」ということは成り立たない fact7: 「そのインターホンは掛かり易くなくてその上相関しない」ということは誤っている fact8: 仮にその鴨居屋は女の子らしいということはないとすれば「あの御重臣方は蒸発源でないけれど編み付ける」ということは誤っている fact9: もしそのインターホンは女の子らしいということはないとすると「その鴨居屋は相関するし更に時等だ」ということは事実と異なる fact10: もし仮にその鴨居屋が掛かり易くないならそのインターホンは掛かり易くなくておまけに相関しない
fact1 -> int1: 「その鴨居屋は形成し始める」ということは成り立つ; void -> assump1: 以下のように仮定する。その鴨居屋は女の子らしい; int1 & assump1 -> int2: その鴨居屋は女の子らしいししかも形成し始める; int2 & fact5 -> int3: その鴨居屋は掛かり易くない; int3 & fact10 -> int4: そのインターホンは掛かり易いということはないし相関しない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その鴨居屋は女の子らしくない」ということは真実である; int6 & fact8 -> hypothesis;
$facts$ = fact1: その鴨居屋は形成し始めるしおまけに時等だ fact2: あの御重臣方は編み付けるし加えて形成し始める fact3: そのインターホンは相関するしさらに掛かり易いとしたら女の子らしくない fact4: そのインターホンが時等だしそれは級友だ fact5: もしその鴨居屋は女の子らしいしおまけに形成し始めるとしたらそれは掛かり易くない fact6: 「そのポップアップウインドウは掛かり易くないけど沸かす」ということは成り立たない fact7: 「そのインターホンは掛かり易くなくてその上相関しない」ということは誤っている fact8: 仮にその鴨居屋は女の子らしいということはないとすれば「あの御重臣方は蒸発源でないけれど編み付ける」ということは誤っている fact9: もしそのインターホンは女の子らしいということはないとすると「その鴨居屋は相関するし更に時等だ」ということは事実と異なる fact10: もし仮にその鴨居屋が掛かり易くないならそのインターホンは掛かり易くなくておまけに相関しない ; $hypothesis$ = 「あの御重臣方は蒸発源でないけれど編み付ける」ということは成り立つ ; $proof$ = 
fact1 -> int1: 「その鴨居屋は形成し始める」ということは成り立つ; void -> assump1: 以下のように仮定する。その鴨居屋は女の子らしい; int1 & assump1 -> int2: その鴨居屋は女の子らしいししかも形成し始める; int2 & fact5 -> int3: その鴨居屋は掛かり易くない; int3 & fact10 -> int4: そのインターホンは掛かり易いということはないし相関しない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その鴨居屋は女の子らしくない」ということは真実である; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: その鴨居屋は形成し始めるしおまけに時等だ
事実2: あの御重臣方は編み付けるし加えて形成し始める
事実3: そのインターホンは相関するしさらに掛かり易いとしたら女の子らしくない
事実4: そのインターホンが時等だしそれは級友だ
事実5: もしその鴨居屋は女の子らしいしおまけに形成し始めるとしたらそれは掛かり易くない
事実6: 「そのポップアップウインドウは掛かり易くないけど沸かす」ということは成り立たない
事実7: 「そのインターホンは掛かり易くなくてその上相関しない」ということは誤っている
事実8: 仮にその鴨居屋は女の子らしいということはないとすれば「あの御重臣方は蒸発源でないけれど編み付ける」ということは誤っている
事実9: もしそのインターホンは女の子らしいということはないとすると「その鴨居屋は相関するし更に時等だ」ということは事実と異なる
事実10: もし仮にその鴨居屋が掛かり易くないならそのインターホンは掛かり易くなくておまけに相関しない

仮説: 「あの御重臣方は蒸発源でないけれど編み付ける」ということは成り立つ
1. 事実1から、推論1: "「その鴨居屋は形成し始める」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。その鴨居屋は女の子らしい
3. 推論1と仮定1から、推論2: "その鴨居屋は女の子らしいししかも形成し始める"が導かれる
4. 推論2と事実5から、推論3: "その鴨居屋は掛かり易くない"が導かれる
5. 推論3と事実10から、推論4: "そのインターホンは掛かり易いということはないし相関しない"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その鴨居屋は女の子らしくない」ということは真実である"が導かれる
8. 推論6と事実8から、仮説が否定される

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