そのセンサは資金無しであるということはないかまたはそれは二十八宿であるかまたはどちらもである
fact1: 「そのセンサは五倍するけど有頂天でない」ということは事実と異なる fact2: 仮にそのセンサが五倍するということはないとすればあの功名心は資金無しでない fact3: そのセンサは味気無くないかあるいは二十八宿であるかあるいは両方ともである fact4: そのセンサは都道府県民税でない fact5: もし仮に「あの功名心は味気無いけれど資金無しでない」ということは成り立つということはないとすればそのセンサは五倍しない fact6: 仮に「そのセンサは味気無いがしかしそれは五倍しない」ということは間違いであるとするとあの功名心は資金無しであるということはない fact7: あの功名心が二十八宿であるということはないとするとそのセンサは味気無くない fact8: 「そのセンサは二十八宿である一方で味気無くない」ということは偽だ fact9: 仮にあの功名心は資金無しだとすると「その農地政策は二十八宿でない」ということは成り立つということはない fact10: もしも何らかのものはしがなくないとすれば「それは資金無しでないかまたは二十八宿であるかどちらもである」ということは誤っている fact11: 二十八宿は皹君でないか杖であるか両方である fact12: そのセンサは五倍しないか二十八宿であるかもしくは両方ともだ fact13: 「あの功名心は二十八宿だ一方で五倍しない」ということは誤りである fact14: もし仮にあの功名心が資金無しであるということはないならそのセンサは味気無くない fact15: あの功名心は資金無しでないかもしくは五倍するか両方ともだ fact16: そのセンサは二十八宿でないかもしくは味気無いかもしくは両方ともだ fact17: そのセンサは味気無くない fact18: あの功名心は資金無しでない fact19: 「あの功名心は味気無いけれど五倍しない」ということは間違いである fact20: あの功名心が五倍するとするとそのセンサは資金無しでない fact21: その即席麺は二十八宿でない fact22: 仮に「あの功名心は味気無いけれどそれは五倍しない」ということは間違いであるとしたらそのセンサは資金無しでない
fact22 & fact19 -> int1: そのセンサは資金無しでない; int1 -> hypothesis;
fact22 & fact19 -> int1: ¬{B}{b}; int1 -> hypothesis;
「そのセンサは資金無しでないかもしくは二十八宿であるかまたは両方ともである」ということは嘘だ
fact23 -> int2: もし仮にあの功名心はしがなくないならば「資金無しだということはないかもしくはそれは二十八宿であるか両方ともだ」ということは成り立たない;
$facts$ = fact1: 「そのセンサは五倍するけど有頂天でない」ということは事実と異なる fact2: 仮にそのセンサが五倍するということはないとすればあの功名心は資金無しでない fact3: そのセンサは味気無くないかあるいは二十八宿であるかあるいは両方ともである fact4: そのセンサは都道府県民税でない fact5: もし仮に「あの功名心は味気無いけれど資金無しでない」ということは成り立つということはないとすればそのセンサは五倍しない fact6: 仮に「そのセンサは味気無いがしかしそれは五倍しない」ということは間違いであるとするとあの功名心は資金無しであるということはない fact7: あの功名心が二十八宿であるということはないとするとそのセンサは味気無くない fact8: 「そのセンサは二十八宿である一方で味気無くない」ということは偽だ fact9: 仮にあの功名心は資金無しだとすると「その農地政策は二十八宿でない」ということは成り立つということはない fact10: もしも何らかのものはしがなくないとすれば「それは資金無しでないかまたは二十八宿であるかどちらもである」ということは誤っている fact11: 二十八宿は皹君でないか杖であるか両方である fact12: そのセンサは五倍しないか二十八宿であるかもしくは両方ともだ fact13: 「あの功名心は二十八宿だ一方で五倍しない」ということは誤りである fact14: もし仮にあの功名心が資金無しであるということはないならそのセンサは味気無くない fact15: あの功名心は資金無しでないかもしくは五倍するか両方ともだ fact16: そのセンサは二十八宿でないかもしくは味気無いかもしくは両方ともだ fact17: そのセンサは味気無くない fact18: あの功名心は資金無しでない fact19: 「あの功名心は味気無いけれど五倍しない」ということは間違いである fact20: あの功名心が五倍するとするとそのセンサは資金無しでない fact21: その即席麺は二十八宿でない fact22: 仮に「あの功名心は味気無いけれどそれは五倍しない」ということは間違いであるとしたらそのセンサは資金無しでない ; $hypothesis$ = そのセンサは資金無しであるということはないかまたはそれは二十八宿であるかまたはどちらもである ; $proof$ = 
fact22 & fact19 -> int1: そのセンサは資金無しでない; int1 -> hypothesis; __PROVED__
事実1: 「そのセンサは五倍するけど有頂天でない」ということは事実と異なる
事実2: 仮にそのセンサが五倍するということはないとすればあの功名心は資金無しでない
事実3: そのセンサは味気無くないかあるいは二十八宿であるかあるいは両方ともである
事実4: そのセンサは都道府県民税でない
事実5: もし仮に「あの功名心は味気無いけれど資金無しでない」ということは成り立つということはないとすればそのセンサは五倍しない
事実6: 仮に「そのセンサは味気無いがしかしそれは五倍しない」ということは間違いであるとするとあの功名心は資金無しであるということはない
事実7: あの功名心が二十八宿であるということはないとするとそのセンサは味気無くない
事実8: 「そのセンサは二十八宿である一方で味気無くない」ということは偽だ
事実9: 仮にあの功名心は資金無しだとすると「その農地政策は二十八宿でない」ということは成り立つということはない
事実10: もしも何らかのものはしがなくないとすれば「それは資金無しでないかまたは二十八宿であるかどちらもである」ということは誤っている
事実11: 二十八宿は皹君でないか杖であるか両方である
事実12: そのセンサは五倍しないか二十八宿であるかもしくは両方ともだ
事実13: 「あの功名心は二十八宿だ一方で五倍しない」ということは誤りである
事実14: もし仮にあの功名心が資金無しであるということはないならそのセンサは味気無くない
事実15: あの功名心は資金無しでないかもしくは五倍するか両方ともだ
事実16: そのセンサは二十八宿でないかもしくは味気無いかもしくは両方ともだ
事実17: そのセンサは味気無くない
事実18: あの功名心は資金無しでない
事実19: 「あの功名心は味気無いけれど五倍しない」ということは間違いである
事実20: あの功名心が五倍するとするとそのセンサは資金無しでない
事実21: その即席麺は二十八宿でない
事実22: 仮に「あの功名心は味気無いけれどそれは五倍しない」ということは間違いであるとしたらそのセンサは資金無しでない

仮説: そのセンサは資金無しであるということはないかまたはそれは二十八宿であるかまたはどちらもである
1. 事実22と事実19から、推論1: "そのセンサは資金無しでない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。