その断食修行は乱れ飛ぶということはない
fact1: あの陳情書はＷＤであるということはない fact2: あの藻塩はＷＤだ fact3: もし何らかのものはルータ機能でないなら「それはＷＤで更に乱れ飛ぶ」ということは間違っている fact4: この兼用は遠大でないけれどそれは摩滅する fact5: 仮にあの陳情書がＷＤでないとすればあの断食修行は連携関係であるし加えてそれは乱れ飛ぶ fact6: その断食修行はＷＤである fact7: あの陳情書が乱れ飛ばないならばその断食修行はＷＤだ fact8: 「各部分系列は遠大でないとするとそれは這い込むということはない」ということは成り立つ fact9: もし「這い込まない」ものがあるとしたらあの陳情書はルータ機能でない fact10: 「幼児向け番組な」ものはある fact11: もし「あの陳情書はＷＤでない」ということは本当であるならその断食修行は連携関係である fact12: もし仮に「幼児向け番組な」物があるとすればこの兼用は各部分系列だ fact13: 仮にその断食修行がＷＤでないとしたらあの陳情書が連携関係だしそれは乱れ飛ぶ fact14: もしもその断食修行はＷＤでないとすると「あの陳情書は乱れ飛ぶ」ということは事実だ
fact5 & fact1 -> int1: その断食修行が連携関係だしさらに乱れ飛ぶ; int1 -> hypothesis;
fact5 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
その断食修行は乱れ飛ばない
fact20 -> int2: もし仮にあの陳情書はルータ機能でないとすれば「それはＷＤであるし乱れ飛ぶ」ということは成り立たない; fact18 -> int3: もしもこの兼用が各部分系列だがしかしそれが遠大でないとすればそれは這い込まない; fact16 & fact15 -> int4: この兼用は各部分系列である; fact17 -> int5: この兼用は遠大であるということはない; int4 & int5 -> int6: この兼用は各部分系列であるけれど遠大でない; int3 & int6 -> int7: 「この兼用は這い込まない」ということは確かである; int7 -> int8: なにかは這い込まない; int8 & fact19 -> int9: あの陳情書はルータ機能でない; int2 & int9 -> int10: 「あの陳情書はＷＤであるし加えて乱れ飛ぶ」ということは成り立たない; int10 -> int11: 「「ＷＤであるしそれに乱れ飛ぶ」ということは成り立たない」ものはある;
$facts$ = fact1: あの陳情書はＷＤであるということはない fact2: あの藻塩はＷＤだ fact3: もし何らかのものはルータ機能でないなら「それはＷＤで更に乱れ飛ぶ」ということは間違っている fact4: この兼用は遠大でないけれどそれは摩滅する fact5: 仮にあの陳情書がＷＤでないとすればあの断食修行は連携関係であるし加えてそれは乱れ飛ぶ fact6: その断食修行はＷＤである fact7: あの陳情書が乱れ飛ばないならばその断食修行はＷＤだ fact8: 「各部分系列は遠大でないとするとそれは這い込むということはない」ということは成り立つ fact9: もし「這い込まない」ものがあるとしたらあの陳情書はルータ機能でない fact10: 「幼児向け番組な」ものはある fact11: もし「あの陳情書はＷＤでない」ということは本当であるならその断食修行は連携関係である fact12: もし仮に「幼児向け番組な」物があるとすればこの兼用は各部分系列だ fact13: 仮にその断食修行がＷＤでないとしたらあの陳情書が連携関係だしそれは乱れ飛ぶ fact14: もしもその断食修行はＷＤでないとすると「あの陳情書は乱れ飛ぶ」ということは事実だ ; $hypothesis$ = その断食修行は乱れ飛ぶということはない ; $proof$ = 
fact5 & fact1 -> int1: その断食修行が連携関係だしさらに乱れ飛ぶ; int1 -> hypothesis; __DISPROVED__
事実1: あの陳情書はＷＤであるということはない
事実2: あの藻塩はＷＤだ
事実3: もし何らかのものはルータ機能でないなら「それはＷＤで更に乱れ飛ぶ」ということは間違っている
事実4: この兼用は遠大でないけれどそれは摩滅する
事実5: 仮にあの陳情書がＷＤでないとすればあの断食修行は連携関係であるし加えてそれは乱れ飛ぶ
事実6: その断食修行はＷＤである
事実7: あの陳情書が乱れ飛ばないならばその断食修行はＷＤだ
事実8: 「各部分系列は遠大でないとするとそれは這い込むということはない」ということは成り立つ
事実9: もし「這い込まない」ものがあるとしたらあの陳情書はルータ機能でない
事実10: 「幼児向け番組な」ものはある
事実11: もし「あの陳情書はＷＤでない」ということは本当であるならその断食修行は連携関係である
事実12: もし仮に「幼児向け番組な」物があるとすればこの兼用は各部分系列だ
事実13: 仮にその断食修行がＷＤでないとしたらあの陳情書が連携関係だしそれは乱れ飛ぶ
事実14: もしもその断食修行はＷＤでないとすると「あの陳情書は乱れ飛ぶ」ということは事実だ

仮説: その断食修行は乱れ飛ぶということはない
1. 事実5と事実1から、推論1: "その断食修行が連携関係だしさらに乱れ飛ぶ"が導かれる
2. 推論1から、仮説が否定される

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