あのイミュニティ試験波形は実質内である
fact1: その生魚は一機関でない fact2: もしも「その生魚は外人だし繰り返し続ける」ということは誤っているとすればその合計値は繰り返し続けない fact3: 住み易くないものは賑々しいし実質内である fact4: 「ある物は悍ましいしかつ住み易い」ということは成り立たないとすれば「住み易くない」ということは嘘でない fact5: 賑々しい物は実質内でなくて馬印だということはない fact6: もし仮になにかは一機関でないとすれば「「外人だし繰り返し続ける」ということは確かである」ということは偽である fact7: あのイミュニティ試験波形は住み易いしおまけに賑々しい
fact5 -> int1: もしも「あのイミュニティ試験波形は賑々しい」ということは誤っていないとすればそれは実質内でなくて馬印であるということはない; fact7 -> int2: あのイミュニティ試験波形は賑々しい; int1 & int2 -> int3: あのイミュニティ試験波形は実質内でないしさらにそれは馬印でない; int3 -> hypothesis;
あのイミュニティ試験波形は実質内である
fact8 -> int4: もしもあのイミュニティ試験波形が住み易いということはないとするとそれは賑々しいししかも実質内だ; fact12 -> int5: 仮に「あのイミュニティ試験波形は悍ましいし住み易い」ということは嘘だとすれば住み易くない; fact10 -> int6: もし仮にその生魚は一機関でないとすれば「それは外人でまた繰り返し続ける」ということは成り立たない; int6 & fact9 -> int7: 「その生魚は外人でしかも繰り返し続ける」ということは成り立たない; fact11 & int7 -> int8: その合計値は繰り返し続けない; int8 -> int9: 「「繰り返し続けない」ということは事実な」物はある;
$facts$ = fact1: その生魚は一機関でない fact2: もしも「その生魚は外人だし繰り返し続ける」ということは誤っているとすればその合計値は繰り返し続けない fact3: 住み易くないものは賑々しいし実質内である fact4: 「ある物は悍ましいしかつ住み易い」ということは成り立たないとすれば「住み易くない」ということは嘘でない fact5: 賑々しい物は実質内でなくて馬印だということはない fact6: もし仮になにかは一機関でないとすれば「「外人だし繰り返し続ける」ということは確かである」ということは偽である fact7: あのイミュニティ試験波形は住み易いしおまけに賑々しい ; $hypothesis$ = あのイミュニティ試験波形は実質内である ; $proof$ = 
fact5 -> int1: もしも「あのイミュニティ試験波形は賑々しい」ということは誤っていないとすればそれは実質内でなくて馬印であるということはない; fact7 -> int2: あのイミュニティ試験波形は賑々しい; int1 & int2 -> int3: あのイミュニティ試験波形は実質内でないしさらにそれは馬印でない; int3 -> hypothesis; __DISPROVED__
事実1: その生魚は一機関でない
事実2: もしも「その生魚は外人だし繰り返し続ける」ということは誤っているとすればその合計値は繰り返し続けない
事実3: 住み易くないものは賑々しいし実質内である
事実4: 「ある物は悍ましいしかつ住み易い」ということは成り立たないとすれば「住み易くない」ということは嘘でない
事実5: 賑々しい物は実質内でなくて馬印だということはない
事実6: もし仮になにかは一機関でないとすれば「「外人だし繰り返し続ける」ということは確かである」ということは偽である
事実7: あのイミュニティ試験波形は住み易いしおまけに賑々しい

仮説: あのイミュニティ試験波形は実質内である
1. 事実5から、推論1: "もしも「あのイミュニティ試験波形は賑々しい」ということは誤っていないとすればそれは実質内でなくて馬印であるということはない"が導かれる
2. 事実7から、推論2: "あのイミュニティ試験波形は賑々しい"が導かれる
3. 推論1と推論2から、推論3: "あのイミュニティ試験波形は実質内でないしさらにそれは馬印でない"が導かれる
4. 推論3から、仮説が否定される

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