そのスクラップ・アンド・ビルドは愛しけれど浴せ掛けない
fact1: 仮にあの倒幕運動が理解し易いならばその列車輸送は愛しない fact2: その列車輸送は理解し易い fact3: すべての物は再生産出来るということはない fact4: 「もし仮にとある物は再生産出来ないとしたら「それは電位計でまた自活する」ということは事実でない」ということは事実だ fact5: もしもそのスクラップ・アンド・ビルドは起き易いとすれば「それは愛ししまたそれは浴せ掛ける」ということは間違っている fact6: そのスクラップ・アンド・ビルドは理解し易いとすれば「浴せ掛けるが愛しない」ということは事実と異なる fact7: 「その列車輸送は起き易いがしかし理解し易くない」ということは事実と異なる fact8: 「そのスクラップ・アンド・ビルドは愛しし浴せ掛ける」ということは間違いである fact9: 「その列車輸送は殺める一方で理解し易くない」ということは間違っている fact10: もしもその列車輸送が理解し易いとしたらそのスクラップ・アンド・ビルドは起き易い fact11: 「あの一号衛星は浴せ掛けるし恭しい」ということは間違っている fact12: もしその列車輸送は理解し易いとすれば「それは立候補するしかつ掛け難い」ということは間違いだ fact13: もしそのスクラップ・アンド・ビルドは起き易いとしたら「それは愛し一方で浴せ掛けるということはない」ということは間違っている fact14: 仮になにかは電位計であるということはないならば「起き易いか貴族達でない」ということは誤っている fact15: 理解し易い物は愛しけれど浴せ掛けない fact16: もしそのスクラップ・アンド・ビルドは愛しなら「それは起き易いしそれは理解し易くない」ということは間違いだ fact17: もし仮にそのスクラップ・アンド・ビルドは起き易いとすると「愛しがしかし理解し易くない」ということは事実と異なる
fact10 & fact2 -> int1: そのスクラップ・アンド・ビルドは起き易い; int1 & fact13 -> hypothesis;
fact10 & fact2 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
そのスクラップ・アンド・ビルドは愛しけど浴せ掛けない
fact18 -> int2: 仮にそのスクラップ・アンド・ビルドが理解し易いならばそれは愛しが浴せ掛けない; fact19 -> int3: もしもその列車輸送は電位計でないなら「それは起き易いかあるいはそれは貴族達であるということはないかあるいはどちらもである」ということは間違いである; fact21 -> int4: 仮にこの球心構造は再生産出来ないならば「電位計だしさらにそれは自活する」ということは成り立つということはない; fact20 -> int5: この球心構造は再生産出来ない; int4 & int5 -> int6: 「この球心構造は電位計だしその上自活する」ということは成り立たない; int6 -> int7: それは電位計であるししかもそれは自活するというものはない; int7 -> int8: 「あの倒幕運動は電位計であるし加えてそれは自活する」ということは事実でない;
$facts$ = fact1: 仮にあの倒幕運動が理解し易いならばその列車輸送は愛しない fact2: その列車輸送は理解し易い fact3: すべての物は再生産出来るということはない fact4: 「もし仮にとある物は再生産出来ないとしたら「それは電位計でまた自活する」ということは事実でない」ということは事実だ fact5: もしもそのスクラップ・アンド・ビルドは起き易いとすれば「それは愛ししまたそれは浴せ掛ける」ということは間違っている fact6: そのスクラップ・アンド・ビルドは理解し易いとすれば「浴せ掛けるが愛しない」ということは事実と異なる fact7: 「その列車輸送は起き易いがしかし理解し易くない」ということは事実と異なる fact8: 「そのスクラップ・アンド・ビルドは愛しし浴せ掛ける」ということは間違いである fact9: 「その列車輸送は殺める一方で理解し易くない」ということは間違っている fact10: もしもその列車輸送が理解し易いとしたらそのスクラップ・アンド・ビルドは起き易い fact11: 「あの一号衛星は浴せ掛けるし恭しい」ということは間違っている fact12: もしその列車輸送は理解し易いとすれば「それは立候補するしかつ掛け難い」ということは間違いだ fact13: もしそのスクラップ・アンド・ビルドは起き易いとしたら「それは愛し一方で浴せ掛けるということはない」ということは間違っている fact14: 仮になにかは電位計であるということはないならば「起き易いか貴族達でない」ということは誤っている fact15: 理解し易い物は愛しけれど浴せ掛けない fact16: もしそのスクラップ・アンド・ビルドは愛しなら「それは起き易いしそれは理解し易くない」ということは間違いだ fact17: もし仮にそのスクラップ・アンド・ビルドは起き易いとすると「愛しがしかし理解し易くない」ということは事実と異なる ; $hypothesis$ = そのスクラップ・アンド・ビルドは愛しけれど浴せ掛けない ; $proof$ = 
fact10 & fact2 -> int1: そのスクラップ・アンド・ビルドは起き易い; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮にあの倒幕運動が理解し易いならばその列車輸送は愛しない
事実2: その列車輸送は理解し易い
事実3: すべての物は再生産出来るということはない
事実4: 「もし仮にとある物は再生産出来ないとしたら「それは電位計でまた自活する」ということは事実でない」ということは事実だ
事実5: もしもそのスクラップ・アンド・ビルドは起き易いとすれば「それは愛ししまたそれは浴せ掛ける」ということは間違っている
事実6: そのスクラップ・アンド・ビルドは理解し易いとすれば「浴せ掛けるが愛しない」ということは事実と異なる
事実7: 「その列車輸送は起き易いがしかし理解し易くない」ということは事実と異なる
事実8: 「そのスクラップ・アンド・ビルドは愛しし浴せ掛ける」ということは間違いである
事実9: 「その列車輸送は殺める一方で理解し易くない」ということは間違っている
事実10: もしもその列車輸送が理解し易いとしたらそのスクラップ・アンド・ビルドは起き易い
事実11: 「あの一号衛星は浴せ掛けるし恭しい」ということは間違っている
事実12: もしその列車輸送は理解し易いとすれば「それは立候補するしかつ掛け難い」ということは間違いだ
事実13: もしそのスクラップ・アンド・ビルドは起き易いとしたら「それは愛し一方で浴せ掛けるということはない」ということは間違っている
事実14: 仮になにかは電位計であるということはないならば「起き易いか貴族達でない」ということは誤っている
事実15: 理解し易い物は愛しけれど浴せ掛けない
事実16: もしそのスクラップ・アンド・ビルドは愛しなら「それは起き易いしそれは理解し易くない」ということは間違いだ
事実17: もし仮にそのスクラップ・アンド・ビルドは起き易いとすると「愛しがしかし理解し易くない」ということは事実と異なる

仮説: そのスクラップ・アンド・ビルドは愛しけれど浴せ掛けない
1. 事実10と事実2から、推論1: "そのスクラップ・アンド・ビルドは起き易い"が導かれる
2. 推論1と事実13から、仮説が否定される

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