この格闘家は枯死しない
fact1: この必要準備率はフリーライドする fact2: なにがしかのものは掛け直すが噛み続けないとするとそれは枯死しない fact3: 仮にその手段が噛み続けないか掛け直すかどちらもならば「この格闘家は集い実行委員会である」ということは間違っているということはない fact4: その手段はフリーライドする fact5: もし仮に「この格闘家は置き易いか態とらしくないかあるいは両方だ」ということは事実と異なれば噛み続けない fact6: もしその手段はフリーライドするとすれば「この格闘家は置き易いかもしくはそれは態とらしくない」ということは間違いである fact7: もしもある物が非募債主義でないかまたは掛け直せば非募債主義であるということはない fact8: すべてのものは集い実行委員会でその上掛け直す fact9: あの服薬状況は掛け直す
fact8 -> int1: この格闘家は集い実行委員会であるし掛け直す; int1 -> int2: この格闘家は掛け直す; fact4 & fact6 -> int3: 「この格闘家は置き易いかあるいは態とらしいということはないかもしくはどちらもである」ということは成り立たない; fact5 & int3 -> int4: この格闘家は噛み続けない; int2 & int4 -> int5: この格闘家は掛け直す一方で噛み続けない; fact2 -> int6: この格闘家が掛け直すがしかし噛み続けないとしたらそれは枯死しない; int5 & int6 -> hypothesis;
この格闘家は枯死する
$facts$ = fact1: この必要準備率はフリーライドする fact2: なにがしかのものは掛け直すが噛み続けないとするとそれは枯死しない fact3: 仮にその手段が噛み続けないか掛け直すかどちらもならば「この格闘家は集い実行委員会である」ということは間違っているということはない fact4: その手段はフリーライドする fact5: もし仮に「この格闘家は置き易いか態とらしくないかあるいは両方だ」ということは事実と異なれば噛み続けない fact6: もしその手段はフリーライドするとすれば「この格闘家は置き易いかもしくはそれは態とらしくない」ということは間違いである fact7: もしもある物が非募債主義でないかまたは掛け直せば非募債主義であるということはない fact8: すべてのものは集い実行委員会でその上掛け直す fact9: あの服薬状況は掛け直す ; $hypothesis$ = この格闘家は枯死しない ; $proof$ = 
fact8 -> int1: この格闘家は集い実行委員会であるし掛け直す; int1 -> int2: この格闘家は掛け直す; fact4 & fact6 -> int3: 「この格闘家は置き易いかあるいは態とらしいということはないかもしくはどちらもである」ということは成り立たない; fact5 & int3 -> int4: この格闘家は噛み続けない; int2 & int4 -> int5: この格闘家は掛け直す一方で噛み続けない; fact2 -> int6: この格闘家が掛け直すがしかし噛み続けないとしたらそれは枯死しない; int5 & int6 -> hypothesis; __PROVED__
事実1: この必要準備率はフリーライドする
事実2: なにがしかのものは掛け直すが噛み続けないとするとそれは枯死しない
事実3: 仮にその手段が噛み続けないか掛け直すかどちらもならば「この格闘家は集い実行委員会である」ということは間違っているということはない
事実4: その手段はフリーライドする
事実5: もし仮に「この格闘家は置き易いか態とらしくないかあるいは両方だ」ということは事実と異なれば噛み続けない
事実6: もしその手段はフリーライドするとすれば「この格闘家は置き易いかもしくはそれは態とらしくない」ということは間違いである
事実7: もしもある物が非募債主義でないかまたは掛け直せば非募債主義であるということはない
事実8: すべてのものは集い実行委員会でその上掛け直す
事実9: あの服薬状況は掛け直す

仮説: この格闘家は枯死しない
1. 事実8から、推論1: "この格闘家は集い実行委員会であるし掛け直す"が導かれる
2. 推論1から、推論2: "この格闘家は掛け直す"が導かれる
3. 事実4と事実6から、推論3: "「この格闘家は置き易いかあるいは態とらしいということはないかもしくはどちらもである」ということは成り立たない"が導かれる
4. 事実5と推論3から、推論4: "この格闘家は噛み続けない"が導かれる
5. 推論2と推論4から、推論5: "この格闘家は掛け直す一方で噛み続けない"が導かれる
6. 事実2から、推論6: "この格闘家が掛け直すがしかし噛み続けないとしたらそれは枯死しない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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