この司法警察はどうしても欲しい
fact1: もしもこのどん底状態がけばけばしくないならこの司法警察は化粧品広告だしディスク容量である fact2: もしこのどん底状態が御労しくないとするとそれは永久保存用紙でない fact3: もしこのどん底状態が永久保存用紙でないとしたらこの司法警察は永久保存用紙だということはない fact4: 仮に抗い難くない物が根気良いということはないとすればそれは御労しくない fact5: ディスク容量は抗い難くないし更に根気良くない fact6: 「御労しくない物は永久保存用紙でないかあるいはどうしても欲しいかあるいは両方だ」ということは成り立つ fact7: この忠誠心はどうしても欲しくない fact8: もし仮に「このどん底状態は認め難いということはない一方でけばけばしい」ということは誤っているとしたらそれはけばけばしくない fact9: もし仮に何らかのものが根気良くないとすれば永久保存用紙でないか御労しいかあるいは両方だ fact10: このどん底状態は御労しくない fact11: もしもこのどん底状態は刻苦しないとすれば「それは認め難くないし更にけばけばしい」ということは間違いだ fact12: もし仮に「このどん底状態はどうしても欲しくてさらにそれは抗い難い」ということは偽だとすれば「この三パーセント前後は根気良くない」ということは本当だ fact13: この司法警察は永久保存用紙でない fact14: もしこのどん底状態が永久保存用紙であるということはないとすればこの司法警察はどうしても欲しくなくて加えて永久保存用紙でない
fact2 & fact10 -> int1: このどん底状態は永久保存用紙でない; int1 & fact14 -> int2: この司法警察はどうしても欲しくなくてかつ永久保存用紙でない; int2 -> hypothesis;
fact2 & fact10 -> int1: ¬{B}{a}; int1 & fact14 -> int2: (¬{D}{b} & ¬{B}{b}); int2 -> hypothesis;
この司法警察はどうしても欲しい
fact18 -> int3: この司法警察が御労しくないとすればそれは永久保存用紙でないかどうしても欲しいかもしくはどちらもだ; fact15 -> int4: もしもこの司法警察は抗い難くないし根気良いということはないとするとそれは御労しくない; fact19 -> int5: この司法警察はディスク容量であるとしたら抗い難くないしその上根気良くない;
$facts$ = fact1: もしもこのどん底状態がけばけばしくないならこの司法警察は化粧品広告だしディスク容量である fact2: もしこのどん底状態が御労しくないとするとそれは永久保存用紙でない fact3: もしこのどん底状態が永久保存用紙でないとしたらこの司法警察は永久保存用紙だということはない fact4: 仮に抗い難くない物が根気良いということはないとすればそれは御労しくない fact5: ディスク容量は抗い難くないし更に根気良くない fact6: 「御労しくない物は永久保存用紙でないかあるいはどうしても欲しいかあるいは両方だ」ということは成り立つ fact7: この忠誠心はどうしても欲しくない fact8: もし仮に「このどん底状態は認め難いということはない一方でけばけばしい」ということは誤っているとしたらそれはけばけばしくない fact9: もし仮に何らかのものが根気良くないとすれば永久保存用紙でないか御労しいかあるいは両方だ fact10: このどん底状態は御労しくない fact11: もしもこのどん底状態は刻苦しないとすれば「それは認め難くないし更にけばけばしい」ということは間違いだ fact12: もし仮に「このどん底状態はどうしても欲しくてさらにそれは抗い難い」ということは偽だとすれば「この三パーセント前後は根気良くない」ということは本当だ fact13: この司法警察は永久保存用紙でない fact14: もしこのどん底状態が永久保存用紙であるということはないとすればこの司法警察はどうしても欲しくなくて加えて永久保存用紙でない ; $hypothesis$ = この司法警察はどうしても欲しい ; $proof$ = 
fact2 & fact10 -> int1: このどん底状態は永久保存用紙でない; int1 & fact14 -> int2: この司法警察はどうしても欲しくなくてかつ永久保存用紙でない; int2 -> hypothesis; __DISPROVED__
事実1: もしもこのどん底状態がけばけばしくないならこの司法警察は化粧品広告だしディスク容量である
事実2: もしこのどん底状態が御労しくないとするとそれは永久保存用紙でない
事実3: もしこのどん底状態が永久保存用紙でないとしたらこの司法警察は永久保存用紙だということはない
事実4: 仮に抗い難くない物が根気良いということはないとすればそれは御労しくない
事実5: ディスク容量は抗い難くないし更に根気良くない
事実6: 「御労しくない物は永久保存用紙でないかあるいはどうしても欲しいかあるいは両方だ」ということは成り立つ
事実7: この忠誠心はどうしても欲しくない
事実8: もし仮に「このどん底状態は認め難いということはない一方でけばけばしい」ということは誤っているとしたらそれはけばけばしくない
事実9: もし仮に何らかのものが根気良くないとすれば永久保存用紙でないか御労しいかあるいは両方だ
事実10: このどん底状態は御労しくない
事実11: もしもこのどん底状態は刻苦しないとすれば「それは認め難くないし更にけばけばしい」ということは間違いだ
事実12: もし仮に「このどん底状態はどうしても欲しくてさらにそれは抗い難い」ということは偽だとすれば「この三パーセント前後は根気良くない」ということは本当だ
事実13: この司法警察は永久保存用紙でない
事実14: もしこのどん底状態が永久保存用紙であるということはないとすればこの司法警察はどうしても欲しくなくて加えて永久保存用紙でない

仮説: この司法警察はどうしても欲しい
1. 事実2と事実10から、推論1: "このどん底状態は永久保存用紙でない"が導かれる
2. 推論1と事実14から、推論2: "この司法警察はどうしても欲しくなくてかつ永久保存用紙でない"が導かれる
3. 推論2から、仮説が否定される

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