もしもあのコンソールボックスは高学年でないならば「踏ん切らないかそれは避け難くない」ということは偽である
fact1: あのコンソールボックスは高学年だとすると「踏ん切らないかあるいはそれは避け難いということはないかもしくは両方だ」ということは間違っている fact2: どでかいものは病む fact3: 仮にこの洒落気は外国投資法ならば「仮払いでない」ということは成り立たない fact4: 仮にとあるものが高学年でないならばそれは避け難いかまたは踏ん切るか両方である fact5: もし仮にその編纂事業が白々しいならその二〜三歳頃はどでかい fact6: 「この洒落気は外国投資法だ」ということは成り立つ fact7: もしもなんらかのものが病むとするとそれは他言するかもしくは尋ね掛けない fact8: 仮払いは白々しい fact9: もしもある物は断定し難くないとしたら「踏ん切らないかあるいは避け難くないかまたは両方である」ということは成り立たない fact10: 仮になんらかの物が他言すればそれは高学年でない fact11: もしもとあるものは高学年でないならば断定し難くないし更に易しということはない fact12: もし仮にあのコンソールボックスは高学年でないとするとそれは踏ん切らないかあるいは避け難くないかもしくはどちらもである fact13: とあるものが尋ね掛けるということはないとすればそれは高学年でない fact14: この洒落気は白々しいとすると「その編纂事業は白々しい」ということは本当だ fact15: 禍々しいものはヤミ族でなくてまた吹き易くない fact16: あのコンソールボックスは高学年であるなら「断定し難くないしおまけに易しない」ということは間違いでない fact17: 仮にあのコンソールボックスは高学年でないとすると「易しない」ということは成り立つ fact18: 仮にあのコンソールボックスは高学年でないならばそれは避け難い fact19: あのコンソールボックスは断定し難くないとするとそれは避け難い
fact11 -> int1: あのコンソールボックスは高学年でないとすると断定し難くないし易しない; void -> assump1: 以下のように仮定する。あのコンソールボックスは高学年でない; int1 & assump1 -> int2: あのコンソールボックスは断定し難くないしかつ易しということはない; int2 -> int3: あのコンソールボックスは断定し難くない; fact9 -> int4: 仮にあのコンソールボックスは断定し難くないなら「踏ん切らないかまたはそれは避け難くないかまたは両方ともだ」ということは確かでない; int3 & int4 -> int5: 「あのコンソールボックスは踏ん切らないかあるいはそれは避け難くないかもしくは両方である」ということは誤りだ; [assump1] & int5 -> hypothesis;
その不安・緊張状態は避け難くない
fact25 -> int6: もしその二〜三歳頃が高学年だということはないとすればそれは避け難いかもしくは踏ん切る; fact23 -> int7: 仮にその二〜三歳頃が病めば他言するかあるいは尋ね掛けないかまたは両方である; fact27 -> int8: 仮にその二〜三歳頃はどでかいとすると「それは病む」ということは事実である; fact22 -> int9: 仮にこの洒落気が仮払いだとしたら白々しい; fact21 & fact28 -> int10: 「この洒落気は仮払いだ」ということは事実である; int9 & int10 -> int11: この洒落気は白々しい; fact20 & int11 -> int12: 「その編纂事業は白々しい」ということは正しい; fact26 & int12 -> int13: その二〜三歳頃はどでかい; int8 & int13 -> int14: その二〜三歳頃は病む; int7 & int14 -> int15: 「その二〜三歳頃は他言するかもしくは尋ね掛けないか両方だ」ということは本当だ; fact29 -> int16: 仮にその二〜三歳頃は他言するとしたら「それは高学年でない」ということは本当だ; fact24 -> int17: 仮にその二〜三歳頃が尋ね掛けないなら高学年でない; int15 & int16 & int17 -> int18: その二〜三歳頃は高学年でない; int6 & int18 -> int19: その二〜三歳頃は避け難いかもしくは踏ん切る;
$facts$ = fact1: あのコンソールボックスは高学年だとすると「踏ん切らないかあるいはそれは避け難いということはないかもしくは両方だ」ということは間違っている fact2: どでかいものは病む fact3: 仮にこの洒落気は外国投資法ならば「仮払いでない」ということは成り立たない fact4: 仮にとあるものが高学年でないならばそれは避け難いかまたは踏ん切るか両方である fact5: もし仮にその編纂事業が白々しいならその二〜三歳頃はどでかい fact6: 「この洒落気は外国投資法だ」ということは成り立つ fact7: もしもなんらかのものが病むとするとそれは他言するかもしくは尋ね掛けない fact8: 仮払いは白々しい fact9: もしもある物は断定し難くないとしたら「踏ん切らないかあるいは避け難くないかまたは両方である」ということは成り立たない fact10: 仮になんらかの物が他言すればそれは高学年でない fact11: もしもとあるものは高学年でないならば断定し難くないし更に易しということはない fact12: もし仮にあのコンソールボックスは高学年でないとするとそれは踏ん切らないかあるいは避け難くないかもしくはどちらもである fact13: とあるものが尋ね掛けるということはないとすればそれは高学年でない fact14: この洒落気は白々しいとすると「その編纂事業は白々しい」ということは本当だ fact15: 禍々しいものはヤミ族でなくてまた吹き易くない fact16: あのコンソールボックスは高学年であるなら「断定し難くないしおまけに易しない」ということは間違いでない fact17: 仮にあのコンソールボックスは高学年でないとすると「易しない」ということは成り立つ fact18: 仮にあのコンソールボックスは高学年でないならばそれは避け難い fact19: あのコンソールボックスは断定し難くないとするとそれは避け難い ; $hypothesis$ = もしもあのコンソールボックスは高学年でないならば「踏ん切らないかそれは避け難くない」ということは偽である ; $proof$ = 
fact11 -> int1: あのコンソールボックスは高学年でないとすると断定し難くないし易しない; void -> assump1: 以下のように仮定する。あのコンソールボックスは高学年でない; int1 & assump1 -> int2: あのコンソールボックスは断定し難くないしかつ易しということはない; int2 -> int3: あのコンソールボックスは断定し難くない; fact9 -> int4: 仮にあのコンソールボックスは断定し難くないなら「踏ん切らないかまたはそれは避け難くないかまたは両方ともだ」ということは確かでない; int3 & int4 -> int5: 「あのコンソールボックスは踏ん切らないかあるいはそれは避け難くないかもしくは両方である」ということは誤りだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あのコンソールボックスは高学年だとすると「踏ん切らないかあるいはそれは避け難いということはないかもしくは両方だ」ということは間違っている
事実2: どでかいものは病む
事実3: 仮にこの洒落気は外国投資法ならば「仮払いでない」ということは成り立たない
事実4: 仮にとあるものが高学年でないならばそれは避け難いかまたは踏ん切るか両方である
事実5: もし仮にその編纂事業が白々しいならその二〜三歳頃はどでかい
事実6: 「この洒落気は外国投資法だ」ということは成り立つ
事実7: もしもなんらかのものが病むとするとそれは他言するかもしくは尋ね掛けない
事実8: 仮払いは白々しい
事実9: もしもある物は断定し難くないとしたら「踏ん切らないかあるいは避け難くないかまたは両方である」ということは成り立たない
事実10: 仮になんらかの物が他言すればそれは高学年でない
事実11: もしもとあるものは高学年でないならば断定し難くないし更に易しということはない
事実12: もし仮にあのコンソールボックスは高学年でないとするとそれは踏ん切らないかあるいは避け難くないかもしくはどちらもである
事実13: とあるものが尋ね掛けるということはないとすればそれは高学年でない
事実14: この洒落気は白々しいとすると「その編纂事業は白々しい」ということは本当だ
事実15: 禍々しいものはヤミ族でなくてまた吹き易くない
事実16: あのコンソールボックスは高学年であるなら「断定し難くないしおまけに易しない」ということは間違いでない
事実17: 仮にあのコンソールボックスは高学年でないとすると「易しない」ということは成り立つ
事実18: 仮にあのコンソールボックスは高学年でないならばそれは避け難い
事実19: あのコンソールボックスは断定し難くないとするとそれは避け難い

仮説: もしもあのコンソールボックスは高学年でないならば「踏ん切らないかそれは避け難くない」ということは偽である
1. 事実11から、推論1: "あのコンソールボックスは高学年でないとすると断定し難くないし易しない"が導かれる
2. 仮定1: 以下のように仮定する。あのコンソールボックスは高学年でない
3. 推論1と仮定1から、推論2: "あのコンソールボックスは断定し難くないしかつ易しということはない"が導かれる
4. 推論2から、推論3: "あのコンソールボックスは断定し難くない"が導かれる
5. 事実9から、推論4: "仮にあのコンソールボックスは断定し難くないなら「踏ん切らないかまたはそれは避け難くないかまたは両方ともだ」ということは確かでない"が導かれる
6. 推論3と推論4から、推論5: "「あのコンソールボックスは踏ん切らないかあるいはそれは避け難くないかもしくは両方である」ということは誤りだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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