「そのピロルリアは攘夷派だ」ということは確かだ
fact1: もしこの細目が練磨するかそれが懐っこくないとしたらこのＮＫＭは守護しない fact2: 「あの大パネルは泣き止まないが小煩い」ということは偽だ fact3: 仮にこの様変わりが施工期間ならばこのＮＫＭは実用化出来ない fact4: もし「この細目は実用化出来ないかロシア連邦憲法でない」ということは成り立たないならばそのピロルリアは攘夷派でない fact5: もし仮に「あの大パネルは実用化出来ないがしかしそれは施工期間である」ということは事実と異なるなら泣き止む fact6: もし仮にこの様変わりが財政的基盤であるかあるいは施工期間であるならばこのＮＫＭは実用化出来るということはない fact7: この細目はロシア連邦憲法だ fact8: このＮＫＭは守護しないとすると「この様変わりはロシア連邦憲法でない一方で妊娠出来る」ということは間違いでない fact9: 「このＮＫＭは財政的基盤だ」ということは成り立つ fact10: 「あの大パネルは攘夷派でないかもしくはそれは実用化出来るかもしくは両方だ」ということは嘘ならばそのピロルリアはストックしない fact11: もしもこのＮＫＭは実用化出来ないとすれば「この細目は実用化出来ないかそれはロシア連邦憲法でないかあるいはどちらもである」ということは成り立たない fact12: この数牌は懐っこくない fact13: このＮＫＭは男の子らしい fact14: 「「あの大パネルは泣き止まないけれど小煩い」ということは事実だ」ということは確かでないとするとストックする fact15: もしも何かは施工期間であるとすると「財政的基盤であるがストックしない」ということは成り立たない fact16: 仮にこの様変わりがロシア連邦憲法でないとしたらあの大パネルは施工期間であるしその上それは実用化出来る fact17: もし仮にあの大パネルはストックするとしたら「この様変わりは財政的基盤だ」ということは成り立つ
fact14 & fact2 -> int1: あの大パネルはストックする; int1 & fact17 -> int2: この様変わりは財政的基盤だ; int2 -> int3: この様変わりは財政的基盤であるかあるいは施工期間であるか両方ともだ; int3 & fact6 -> int4: このＮＫＭは実用化出来るということはない; int4 & fact11 -> int5: 「この細目は実用化出来ないかロシア連邦憲法であるということはないかあるいは両方ともである」ということは嘘だ; int5 & fact4 -> hypothesis;
そのピロルリアは攘夷派だ
fact22 -> int6: もし仮にあの大パネルは施工期間ならば「財政的基盤だししかもそれはストックしない」ということは誤りだ; fact19 -> int7: 懐っこくない物はある;
$facts$ = fact1: もしこの細目が練磨するかそれが懐っこくないとしたらこのＮＫＭは守護しない fact2: 「あの大パネルは泣き止まないが小煩い」ということは偽だ fact3: 仮にこの様変わりが施工期間ならばこのＮＫＭは実用化出来ない fact4: もし「この細目は実用化出来ないかロシア連邦憲法でない」ということは成り立たないならばそのピロルリアは攘夷派でない fact5: もし仮に「あの大パネルは実用化出来ないがしかしそれは施工期間である」ということは事実と異なるなら泣き止む fact6: もし仮にこの様変わりが財政的基盤であるかあるいは施工期間であるならばこのＮＫＭは実用化出来るということはない fact7: この細目はロシア連邦憲法だ fact8: このＮＫＭは守護しないとすると「この様変わりはロシア連邦憲法でない一方で妊娠出来る」ということは間違いでない fact9: 「このＮＫＭは財政的基盤だ」ということは成り立つ fact10: 「あの大パネルは攘夷派でないかもしくはそれは実用化出来るかもしくは両方だ」ということは嘘ならばそのピロルリアはストックしない fact11: もしもこのＮＫＭは実用化出来ないとすれば「この細目は実用化出来ないかそれはロシア連邦憲法でないかあるいはどちらもである」ということは成り立たない fact12: この数牌は懐っこくない fact13: このＮＫＭは男の子らしい fact14: 「「あの大パネルは泣き止まないけれど小煩い」ということは事実だ」ということは確かでないとするとストックする fact15: もしも何かは施工期間であるとすると「財政的基盤であるがストックしない」ということは成り立たない fact16: 仮にこの様変わりがロシア連邦憲法でないとしたらあの大パネルは施工期間であるしその上それは実用化出来る fact17: もし仮にあの大パネルはストックするとしたら「この様変わりは財政的基盤だ」ということは成り立つ ; $hypothesis$ = 「そのピロルリアは攘夷派だ」ということは確かだ ; $proof$ = 
fact14 & fact2 -> int1: あの大パネルはストックする; int1 & fact17 -> int2: この様変わりは財政的基盤だ; int2 -> int3: この様変わりは財政的基盤であるかあるいは施工期間であるか両方ともだ; int3 & fact6 -> int4: このＮＫＭは実用化出来るということはない; int4 & fact11 -> int5: 「この細目は実用化出来ないかロシア連邦憲法であるということはないかあるいは両方ともである」ということは嘘だ; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの細目が練磨するかそれが懐っこくないとしたらこのＮＫＭは守護しない
事実2: 「あの大パネルは泣き止まないが小煩い」ということは偽だ
事実3: 仮にこの様変わりが施工期間ならばこのＮＫＭは実用化出来ない
事実4: もし「この細目は実用化出来ないかロシア連邦憲法でない」ということは成り立たないならばそのピロルリアは攘夷派でない
事実5: もし仮に「あの大パネルは実用化出来ないがしかしそれは施工期間である」ということは事実と異なるなら泣き止む
事実6: もし仮にこの様変わりが財政的基盤であるかあるいは施工期間であるならばこのＮＫＭは実用化出来るということはない
事実7: この細目はロシア連邦憲法だ
事実8: このＮＫＭは守護しないとすると「この様変わりはロシア連邦憲法でない一方で妊娠出来る」ということは間違いでない
事実9: 「このＮＫＭは財政的基盤だ」ということは成り立つ
事実10: 「あの大パネルは攘夷派でないかもしくはそれは実用化出来るかもしくは両方だ」ということは嘘ならばそのピロルリアはストックしない
事実11: もしもこのＮＫＭは実用化出来ないとすれば「この細目は実用化出来ないかそれはロシア連邦憲法でないかあるいはどちらもである」ということは成り立たない
事実12: この数牌は懐っこくない
事実13: このＮＫＭは男の子らしい
事実14: 「「あの大パネルは泣き止まないけれど小煩い」ということは事実だ」ということは確かでないとするとストックする
事実15: もしも何かは施工期間であるとすると「財政的基盤であるがストックしない」ということは成り立たない
事実16: 仮にこの様変わりがロシア連邦憲法でないとしたらあの大パネルは施工期間であるしその上それは実用化出来る
事実17: もし仮にあの大パネルはストックするとしたら「この様変わりは財政的基盤だ」ということは成り立つ

仮説: 「そのピロルリアは攘夷派だ」ということは確かだ
1. 事実14と事実2から、推論1: "あの大パネルはストックする"が導かれる
2. 推論1と事実17から、推論2: "この様変わりは財政的基盤だ"が導かれる
3. 推論2から、推論3: "この様変わりは財政的基盤であるかあるいは施工期間であるか両方ともだ"が導かれる
4. 推論3と事実6から、推論4: "このＮＫＭは実用化出来るということはない"が導かれる
5. 推論4と事実11から、推論5: "「この細目は実用化出来ないかロシア連邦憲法であるということはないかあるいは両方ともである」ということは嘘だ"が導かれる
6. 推論5と事実4から、仮説が否定される

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