このデラは尊しないかあるいは音楽隊であるかもしくはどちらもだ
fact1: もしもこの旅籠屋が等しいならばあのパールハーバーは節税する fact2: もし仮にこの旅籠屋が宜しくないならばそれは節税するかあるいは等しいか両方ともだ fact3: もしもこの旅籠屋が節税するならあのパールハーバーは節税する fact4: もしもなにがしかのものが可変するとするとそれは馬名だ fact5: この旅籠屋は宜しくない fact6: 仮に「この定期借地農はめぼしくない」ということは真実であるとしたら「「この美質は可変しない」ということは成り立つ」ということは成り立たない fact7: もしもこの定期借地農が松本秘書室長であるしさらにめぼしいならばあのパールハーバーは節税しない fact8: この定期借地農は松本秘書室長だ fact9: もしこの美質が馬名だとしたらこのデラは尊しということはないかあるいはそれは音楽隊であるかまたはどちらもだ
void -> assump1: 以下のように仮定する。この定期借地農はめぼしい; fact8 & assump1 -> int1: この定期借地農は松本秘書室長であるし加えてめぼしい; int1 & fact7 -> int2: あのパールハーバーは節税しない; fact2 & fact5 -> int3: この旅籠屋は節税するか等しいかあるいはどちらもである; fact3 & fact1 & int3 -> int4: あのパールハーバーは節税する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この定期借地農はめぼしいということはない; int6 & fact6 -> int7: この美質は可変する; fact4 -> int8: もしこの美質が可変するとすれば馬名である; int7 & int8 -> int9: この美質は馬名である; int9 & fact9 -> hypothesis;
$facts$ = fact1: もしもこの旅籠屋が等しいならばあのパールハーバーは節税する fact2: もし仮にこの旅籠屋が宜しくないならばそれは節税するかあるいは等しいか両方ともだ fact3: もしもこの旅籠屋が節税するならあのパールハーバーは節税する fact4: もしもなにがしかのものが可変するとするとそれは馬名だ fact5: この旅籠屋は宜しくない fact6: 仮に「この定期借地農はめぼしくない」ということは真実であるとしたら「「この美質は可変しない」ということは成り立つ」ということは成り立たない fact7: もしもこの定期借地農が松本秘書室長であるしさらにめぼしいならばあのパールハーバーは節税しない fact8: この定期借地農は松本秘書室長だ fact9: もしこの美質が馬名だとしたらこのデラは尊しということはないかあるいはそれは音楽隊であるかまたはどちらもだ ; $hypothesis$ = このデラは尊しないかあるいは音楽隊であるかもしくはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この定期借地農はめぼしい; fact8 & assump1 -> int1: この定期借地農は松本秘書室長であるし加えてめぼしい; int1 & fact7 -> int2: あのパールハーバーは節税しない; fact2 & fact5 -> int3: この旅籠屋は節税するか等しいかあるいはどちらもである; fact3 & fact1 & int3 -> int4: あのパールハーバーは節税する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この定期借地農はめぼしいということはない; int6 & fact6 -> int7: この美質は可変する; fact4 -> int8: もしこの美質が可変するとすれば馬名である; int7 & int8 -> int9: この美質は馬名である; int9 & fact9 -> hypothesis; __PROVED__
事実1: もしもこの旅籠屋が等しいならばあのパールハーバーは節税する
事実2: もし仮にこの旅籠屋が宜しくないならばそれは節税するかあるいは等しいか両方ともだ
事実3: もしもこの旅籠屋が節税するならあのパールハーバーは節税する
事実4: もしもなにがしかのものが可変するとするとそれは馬名だ
事実5: この旅籠屋は宜しくない
事実6: 仮に「この定期借地農はめぼしくない」ということは真実であるとしたら「「この美質は可変しない」ということは成り立つ」ということは成り立たない
事実7: もしもこの定期借地農が松本秘書室長であるしさらにめぼしいならばあのパールハーバーは節税しない
事実8: この定期借地農は松本秘書室長だ
事実9: もしこの美質が馬名だとしたらこのデラは尊しということはないかあるいはそれは音楽隊であるかまたはどちらもだ

仮説: このデラは尊しないかあるいは音楽隊であるかもしくはどちらもだ
1. 仮定1: 以下のように仮定する。この定期借地農はめぼしい
2. 事実8と仮定1から、推論1: "この定期借地農は松本秘書室長であるし加えてめぼしい"が導かれる
3. 推論1と事実7から、推論2: "あのパールハーバーは節税しない"が導かれる
4. 事実2と事実5から、推論3: "この旅籠屋は節税するか等しいかあるいはどちらもである"が導かれる
5. 事実3と事実1と推論3から、推論4: "あのパールハーバーは節税する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この定期借地農はめぼしいということはない"が導かれる
8. 推論6と事実6から、推論7: "この美質は可変する"が導かれる
9. 事実4から、推論8: "もしこの美質が可変するとすれば馬名である"が導かれる
10. 推論7と推論8から、推論9: "この美質は馬名である"が導かれる
11. 推論9と事実9から、仮説が導かれる

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