そのリアルは壊れ難い
fact1: もし仮にそのリアルが道路構造モデルであるとするとそのＺ社は難付く fact2: もしもそのリアルが壊れ難いならばそれは道路構造モデルである fact3: もしも「「ＰＷＣであるしさらに取り掛かり易い」ということは間違いな」ものがあるとすればそのＺ社は弾き易い fact4: あの得意気は御尋ねに成る fact5: もしも「そのリアルは弾き易いがしかし御尋ねに成らない」ということは間違いであるとするとそれは難付かない fact6: そのＺ社は壊れ難くない fact7: 「「ＰＷＣであるし取り掛かり易い」ということは偽である」物はある fact8: そのＺ社は御尋ねに成る fact9: もしそのＺ社が弾き易いしそれにそれは難付くとすれば「それは御尋ねに成らない」ということは事実だ
void -> assump1: 以下のように仮定する。そのリアルは壊れ難い; fact2 & assump1 -> int1: そのリアルは道路構造モデルである; int1 & fact1 -> int2: そのＺ社は難付く; fact3 & fact7 -> int3: そのＺ社は弾き易い; int2 & int3 -> int4: そのＺ社は弾き易いししかも難付く; int4 & fact9 -> int5: そのＺ社は御尋ねに成らない; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
そのリアルは壊れ難い
$facts$ = fact1: もし仮にそのリアルが道路構造モデルであるとするとそのＺ社は難付く fact2: もしもそのリアルが壊れ難いならばそれは道路構造モデルである fact3: もしも「「ＰＷＣであるしさらに取り掛かり易い」ということは間違いな」ものがあるとすればそのＺ社は弾き易い fact4: あの得意気は御尋ねに成る fact5: もしも「そのリアルは弾き易いがしかし御尋ねに成らない」ということは間違いであるとするとそれは難付かない fact6: そのＺ社は壊れ難くない fact7: 「「ＰＷＣであるし取り掛かり易い」ということは偽である」物はある fact8: そのＺ社は御尋ねに成る fact9: もしそのＺ社が弾き易いしそれにそれは難付くとすれば「それは御尋ねに成らない」ということは事実だ ; $hypothesis$ = そのリアルは壊れ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのリアルは壊れ難い; fact2 & assump1 -> int1: そのリアルは道路構造モデルである; int1 & fact1 -> int2: そのＺ社は難付く; fact3 & fact7 -> int3: そのＺ社は弾き易い; int2 & int3 -> int4: そのＺ社は弾き易いししかも難付く; int4 & fact9 -> int5: そのＺ社は御尋ねに成らない; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にそのリアルが道路構造モデルであるとするとそのＺ社は難付く
事実2: もしもそのリアルが壊れ難いならばそれは道路構造モデルである
事実3: もしも「「ＰＷＣであるしさらに取り掛かり易い」ということは間違いな」ものがあるとすればそのＺ社は弾き易い
事実4: あの得意気は御尋ねに成る
事実5: もしも「そのリアルは弾き易いがしかし御尋ねに成らない」ということは間違いであるとするとそれは難付かない
事実6: そのＺ社は壊れ難くない
事実7: 「「ＰＷＣであるし取り掛かり易い」ということは偽である」物はある
事実8: そのＺ社は御尋ねに成る
事実9: もしそのＺ社が弾き易いしそれにそれは難付くとすれば「それは御尋ねに成らない」ということは事実だ

仮説: そのリアルは壊れ難い
1. 仮定1: 以下のように仮定する。そのリアルは壊れ難い
2. 事実2と仮定1から、推論1: "そのリアルは道路構造モデルである"が導かれる
3. 推論1と事実1から、推論2: "そのＺ社は難付く"が導かれる
4. 事実3と事実7から、推論3: "そのＺ社は弾き易い"が導かれる
5. 推論2と推論3から、推論4: "そのＺ社は弾き易いししかも難付く"が導かれる
6. 推論4と事実9から、推論5: "そのＺ社は御尋ねに成らない"が導かれる
7. 推論5と事実8から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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