あの特典は叩き壊さない
fact1: もし仮になんらかの物は沈黙するしまた寒々しいとするとそれは御宜しくない fact2: もし仮にこの道路交通が与え易いとすればこの除外は御宜しい fact3: なにがしかの物は受戒しないがしかし沈黙するなら御宜しくない fact4: この除外は叩き壊す fact5: 仮にある物が通暁しないとすればそれは御宜しくて加えて叩き壊す fact6: 「もし何らかの物は御宜しくないとすると「通暁するしまたそれは与え易くない」ということは事実と異なる」ということは成り立つ fact7: 「この刑録は種子用以外だ」ということは成り立つ fact8: 仮にこの政策担当者が通暁するとすればこの道路交通は与え易い fact9: もし仮にこの除外が御宜しいならこの刑録は受戒しない fact10: この列見出しが沈黙するならこの刑録は受戒する fact11: この列見出しは沈黙する fact12: あの唐薬は沈黙する fact13: 仮にあの特典が受戒するとしたらこの政策担当者は受戒する fact14: もし仮に「この政策担当者は受戒する」ということは正しいとするとこの刑録は通暁する fact15: 何かは移り住む fact16: 仮にあの特典は叩き壊すなら「この政策担当者は通暁する」ということは成り立つ fact17: もし仮にこの道路交通が御宜しくないとすれば通暁するし与え易い fact18: とあるものが与え易くないならそれは叩き壊すしおまけに通暁する fact19: もしこの道路交通が叩き壊すとすればあの特典は与え易い
void -> assump1: 以下のように仮定する。あの特典は叩き壊す; fact16 & assump1 -> int1: この政策担当者は通暁する; int1 & fact8 -> int2: この道路交通は与え易い; int2 & fact2 -> int3: この除外は御宜しい; int3 & fact9 -> int4: この刑録は受戒しない; fact10 & fact11 -> int5: この刑録は受戒する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの特典は叩き壊す」ということは確かである
fact20 -> int7: もし仮にあの特典が与え易くないとすれば叩き壊すし通暁する;
$facts$ = fact1: もし仮になんらかの物は沈黙するしまた寒々しいとするとそれは御宜しくない fact2: もし仮にこの道路交通が与え易いとすればこの除外は御宜しい fact3: なにがしかの物は受戒しないがしかし沈黙するなら御宜しくない fact4: この除外は叩き壊す fact5: 仮にある物が通暁しないとすればそれは御宜しくて加えて叩き壊す fact6: 「もし何らかの物は御宜しくないとすると「通暁するしまたそれは与え易くない」ということは事実と異なる」ということは成り立つ fact7: 「この刑録は種子用以外だ」ということは成り立つ fact8: 仮にこの政策担当者が通暁するとすればこの道路交通は与え易い fact9: もし仮にこの除外が御宜しいならこの刑録は受戒しない fact10: この列見出しが沈黙するならこの刑録は受戒する fact11: この列見出しは沈黙する fact12: あの唐薬は沈黙する fact13: 仮にあの特典が受戒するとしたらこの政策担当者は受戒する fact14: もし仮に「この政策担当者は受戒する」ということは正しいとするとこの刑録は通暁する fact15: 何かは移り住む fact16: 仮にあの特典は叩き壊すなら「この政策担当者は通暁する」ということは成り立つ fact17: もし仮にこの道路交通が御宜しくないとすれば通暁するし与え易い fact18: とあるものが与え易くないならそれは叩き壊すしおまけに通暁する fact19: もしこの道路交通が叩き壊すとすればあの特典は与え易い ; $hypothesis$ = あの特典は叩き壊さない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの特典は叩き壊す; fact16 & assump1 -> int1: この政策担当者は通暁する; int1 & fact8 -> int2: この道路交通は与え易い; int2 & fact2 -> int3: この除外は御宜しい; int3 & fact9 -> int4: この刑録は受戒しない; fact10 & fact11 -> int5: この刑録は受戒する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は沈黙するしまた寒々しいとするとそれは御宜しくない
事実2: もし仮にこの道路交通が与え易いとすればこの除外は御宜しい
事実3: なにがしかの物は受戒しないがしかし沈黙するなら御宜しくない
事実4: この除外は叩き壊す
事実5: 仮にある物が通暁しないとすればそれは御宜しくて加えて叩き壊す
事実6: 「もし何らかの物は御宜しくないとすると「通暁するしまたそれは与え易くない」ということは事実と異なる」ということは成り立つ
事実7: 「この刑録は種子用以外だ」ということは成り立つ
事実8: 仮にこの政策担当者が通暁するとすればこの道路交通は与え易い
事実9: もし仮にこの除外が御宜しいならこの刑録は受戒しない
事実10: この列見出しが沈黙するならこの刑録は受戒する
事実11: この列見出しは沈黙する
事実12: あの唐薬は沈黙する
事実13: 仮にあの特典が受戒するとしたらこの政策担当者は受戒する
事実14: もし仮に「この政策担当者は受戒する」ということは正しいとするとこの刑録は通暁する
事実15: 何かは移り住む
事実16: 仮にあの特典は叩き壊すなら「この政策担当者は通暁する」ということは成り立つ
事実17: もし仮にこの道路交通が御宜しくないとすれば通暁するし与え易い
事実18: とあるものが与え易くないならそれは叩き壊すしおまけに通暁する
事実19: もしこの道路交通が叩き壊すとすればあの特典は与え易い

仮説: あの特典は叩き壊さない
1. 仮定1: 以下のように仮定する。あの特典は叩き壊す
2. 事実16と仮定1から、推論1: "この政策担当者は通暁する"が導かれる
3. 推論1と事実8から、推論2: "この道路交通は与え易い"が導かれる
4. 推論2と事実2から、推論3: "この除外は御宜しい"が導かれる
5. 推論3と事実9から、推論4: "この刑録は受戒しない"が導かれる
6. 事実10と事実11から、推論5: "この刑録は受戒する"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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