「なにかは御金持ちでない」ということは偽だ
fact1: その載地式自走式立体駐車場設備は学僧でない fact2: その載地式自走式立体駐車場設備は幅広い fact3: 仮にその載地式自走式立体駐車場設備が申し子だとすればあの油圧シリンダは御金持ちだ fact4: 「「申し子でない」ということは成り立つ」ものはある fact5: もしこの祝杯が幅広いならその油圧シリンダは申し子である fact6: 「御金持ちである」ものはある fact7: 「その再発予防は幅広くない」ということは正しい fact8: この相手スロットは申し子だということはない fact9: もしその油圧シリンダががぶ飲みするならその載地式自走式立体駐車場設備は申し子だ fact10: なんらかのものは幅広くない fact11: その載地式自走式立体駐車場設備は申し子である fact12: この祝杯は幅広い fact13: その油圧シリンダが御金持ちならばその載地式自走式立体駐車場設備は申し子だ fact14: この祝杯は申し子である fact15: この祝杯は御金持ちだ fact16: もしその油圧シリンダが申し子であるとしたらその載地式自走式立体駐車場設備は御金持ちであるということはない fact17: もしもその載地式自走式立体駐車場設備が幅広いとすればあの祝杯は御金持ちだ
fact5 & fact12 -> int1: その油圧シリンダは申し子だ; int1 & fact16 -> int2: その載地式自走式立体駐車場設備は御金持ちでない; int2 -> hypothesis;
fact5 & fact12 -> int1: {B}{b}; int1 & fact16 -> int2: ¬{C}{c}; int2 -> hypothesis;
$facts$ = fact1: その載地式自走式立体駐車場設備は学僧でない fact2: その載地式自走式立体駐車場設備は幅広い fact3: 仮にその載地式自走式立体駐車場設備が申し子だとすればあの油圧シリンダは御金持ちだ fact4: 「「申し子でない」ということは成り立つ」ものはある fact5: もしこの祝杯が幅広いならその油圧シリンダは申し子である fact6: 「御金持ちである」ものはある fact7: 「その再発予防は幅広くない」ということは正しい fact8: この相手スロットは申し子だということはない fact9: もしその油圧シリンダががぶ飲みするならその載地式自走式立体駐車場設備は申し子だ fact10: なんらかのものは幅広くない fact11: その載地式自走式立体駐車場設備は申し子である fact12: この祝杯は幅広い fact13: その油圧シリンダが御金持ちならばその載地式自走式立体駐車場設備は申し子だ fact14: この祝杯は申し子である fact15: この祝杯は御金持ちだ fact16: もしその油圧シリンダが申し子であるとしたらその載地式自走式立体駐車場設備は御金持ちであるということはない fact17: もしもその載地式自走式立体駐車場設備が幅広いとすればあの祝杯は御金持ちだ ; $hypothesis$ = 「なにかは御金持ちでない」ということは偽だ ; $proof$ = 
fact5 & fact12 -> int1: その油圧シリンダは申し子だ; int1 & fact16 -> int2: その載地式自走式立体駐車場設備は御金持ちでない; int2 -> hypothesis; __DISPROVED__
事実1: その載地式自走式立体駐車場設備は学僧でない
事実2: その載地式自走式立体駐車場設備は幅広い
事実3: 仮にその載地式自走式立体駐車場設備が申し子だとすればあの油圧シリンダは御金持ちだ
事実4: 「「申し子でない」ということは成り立つ」ものはある
事実5: もしこの祝杯が幅広いならその油圧シリンダは申し子である
事実6: 「御金持ちである」ものはある
事実7: 「その再発予防は幅広くない」ということは正しい
事実8: この相手スロットは申し子だということはない
事実9: もしその油圧シリンダががぶ飲みするならその載地式自走式立体駐車場設備は申し子だ
事実10: なんらかのものは幅広くない
事実11: その載地式自走式立体駐車場設備は申し子である
事実12: この祝杯は幅広い
事実13: その油圧シリンダが御金持ちならばその載地式自走式立体駐車場設備は申し子だ
事実14: この祝杯は申し子である
事実15: この祝杯は御金持ちだ
事実16: もしその油圧シリンダが申し子であるとしたらその載地式自走式立体駐車場設備は御金持ちであるということはない
事実17: もしもその載地式自走式立体駐車場設備が幅広いとすればあの祝杯は御金持ちだ

仮説: 「なにかは御金持ちでない」ということは偽だ
1. 事実5と事実12から、推論1: "その油圧シリンダは申し子だ"が導かれる
2. 推論1と事実16から、推論2: "その載地式自走式立体駐車場設備は御金持ちでない"が導かれる
3. 推論2から、仮説が否定される

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