この使い心地は通り難いかまたは気安い
fact1: もし仮にある物が師範学校でないとしたらそれはミルク缶でなくてしかもそれは藩公である fact2: もし仮にあるものは低身長でないならば「それは捕獲するかそれはオープン・エリアであるか両方だ」ということは成り立つ fact3: 「その一βは通り難くない」ということは成り立つ fact4: もし仮にその上表が捕獲すればそれはオープン・エリアだということはない fact5: もしもおっそろしものはオープン・エリアでないならばミルク缶でない fact6: このリビング・ルームは捕獲する fact7: もし仮に「卒塔婆でないしさらに遣り辛くない」ものがあるならこの使い心地は通り難い fact8: その一βがオープン・エリアであるとすればその上表は師範学校でない fact9: 底堅いものはどぎつかないししかもレイノー現象でない fact10: もしも口汚くない物はおっそろしとしたら「卒塔婆でない」ということは成り立つ fact11: その一βはミルク缶であるし口汚い fact12: 仮にその一βが捕獲すればその上表は師範学校でない fact13: もしもその上表がミルク缶でない一方で藩公であるならこの使い心地は遣り辛い fact14: その上表は捕獲する fact15: 「あるものはオープン・エリアでないけれどそれは藩公だ」ということは成り立つ fact16: もし仮にその上表はオープン・エリアでないとすると師範学校だけれど藩公だということはない fact17: この使い心地は遣り辛い fact18: もし仮に「卒塔婆であるかおっそろしかあるいはどちらもである」ものがあるとしたらその一βは口汚くない fact19: ある物がどぎつかないしその上レイノー現象でないとするとこの乾きは砂鉄だということはない fact20: この乾きが砂鉄でないならばその一βは低身長でないけど御伝えする fact21: 師範学校は藩公でないとしたら遣り辛いということはない fact22: その遊休時間は通り難い
void -> assump1: 以下のように仮定する。その上表は卒塔婆である; assump1 -> int1: その上表は卒塔婆であるかそれはおっそろし; int1 -> int2: なにがしかのものは卒塔婆であるかまたはおっそろしか両方である; int2 & fact18 -> int3: その一βは口汚くない; fact11 -> int4: その一βは口汚い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その上表は卒塔婆である」ということは本当であるということはない; fact21 -> int7: もし仮にその上表が師範学校だが藩公だということはないとすればそれは遣り辛くない; fact14 & fact4 -> int8: その上表はオープン・エリアでない; int8 & fact16 -> int9: その上表は師範学校だ一方で藩公でない; int7 & int9 -> int10: その上表は遣り辛くない; int6 & int10 -> int11: その上表は卒塔婆でなくて遣り辛いということはない; int11 -> int12: 「卒塔婆でなくてしかも遣り辛くない」ものはある; int12 & fact7 -> int13: この使い心地は通り難い; int13 -> hypothesis;
「この使い心地は通り難いかもしくはそれは気安いか両方ともである」ということは成り立たない
fact28 -> int14: その一βは低身長でないとしたらそれは捕獲するかあるいはオープン・エリアである; fact26 -> int15: もしもあの国会議事堂が底堅いならそれはどぎつかないしさらにレイノー現象だということはない; fact31 -> int16: もしも「その上表は師範学校だということはない」ということは事実ならミルク缶でないしかつ藩公だ; fact24 -> int17: この使い心地が口汚くない一方でおっそろしならばそれは卒塔婆だということはない;
$facts$ = fact1: もし仮にある物が師範学校でないとしたらそれはミルク缶でなくてしかもそれは藩公である fact2: もし仮にあるものは低身長でないならば「それは捕獲するかそれはオープン・エリアであるか両方だ」ということは成り立つ fact3: 「その一βは通り難くない」ということは成り立つ fact4: もし仮にその上表が捕獲すればそれはオープン・エリアだということはない fact5: もしもおっそろしものはオープン・エリアでないならばミルク缶でない fact6: このリビング・ルームは捕獲する fact7: もし仮に「卒塔婆でないしさらに遣り辛くない」ものがあるならこの使い心地は通り難い fact8: その一βがオープン・エリアであるとすればその上表は師範学校でない fact9: 底堅いものはどぎつかないししかもレイノー現象でない fact10: もしも口汚くない物はおっそろしとしたら「卒塔婆でない」ということは成り立つ fact11: その一βはミルク缶であるし口汚い fact12: 仮にその一βが捕獲すればその上表は師範学校でない fact13: もしもその上表がミルク缶でない一方で藩公であるならこの使い心地は遣り辛い fact14: その上表は捕獲する fact15: 「あるものはオープン・エリアでないけれどそれは藩公だ」ということは成り立つ fact16: もし仮にその上表はオープン・エリアでないとすると師範学校だけれど藩公だということはない fact17: この使い心地は遣り辛い fact18: もし仮に「卒塔婆であるかおっそろしかあるいはどちらもである」ものがあるとしたらその一βは口汚くない fact19: ある物がどぎつかないしその上レイノー現象でないとするとこの乾きは砂鉄だということはない fact20: この乾きが砂鉄でないならばその一βは低身長でないけど御伝えする fact21: 師範学校は藩公でないとしたら遣り辛いということはない fact22: その遊休時間は通り難い ; $hypothesis$ = この使い心地は通り難いかまたは気安い ; $proof$ = 
void -> assump1: 以下のように仮定する。その上表は卒塔婆である; assump1 -> int1: その上表は卒塔婆であるかそれはおっそろし; int1 -> int2: なにがしかのものは卒塔婆であるかまたはおっそろしか両方である; int2 & fact18 -> int3: その一βは口汚くない; fact11 -> int4: その一βは口汚い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その上表は卒塔婆である」ということは本当であるということはない; fact21 -> int7: もし仮にその上表が師範学校だが藩公だということはないとすればそれは遣り辛くない; fact14 & fact4 -> int8: その上表はオープン・エリアでない; int8 & fact16 -> int9: その上表は師範学校だ一方で藩公でない; int7 & int9 -> int10: その上表は遣り辛くない; int6 & int10 -> int11: その上表は卒塔婆でなくて遣り辛いということはない; int11 -> int12: 「卒塔婆でなくてしかも遣り辛くない」ものはある; int12 & fact7 -> int13: この使い心地は通り難い; int13 -> hypothesis; __PROVED__
事実1: もし仮にある物が師範学校でないとしたらそれはミルク缶でなくてしかもそれは藩公である
事実2: もし仮にあるものは低身長でないならば「それは捕獲するかそれはオープン・エリアであるか両方だ」ということは成り立つ
事実3: 「その一βは通り難くない」ということは成り立つ
事実4: もし仮にその上表が捕獲すればそれはオープン・エリアだということはない
事実5: もしもおっそろしものはオープン・エリアでないならばミルク缶でない
事実6: このリビング・ルームは捕獲する
事実7: もし仮に「卒塔婆でないしさらに遣り辛くない」ものがあるならこの使い心地は通り難い
事実8: その一βがオープン・エリアであるとすればその上表は師範学校でない
事実9: 底堅いものはどぎつかないししかもレイノー現象でない
事実10: もしも口汚くない物はおっそろしとしたら「卒塔婆でない」ということは成り立つ
事実11: その一βはミルク缶であるし口汚い
事実12: 仮にその一βが捕獲すればその上表は師範学校でない
事実13: もしもその上表がミルク缶でない一方で藩公であるならこの使い心地は遣り辛い
事実14: その上表は捕獲する
事実15: 「あるものはオープン・エリアでないけれどそれは藩公だ」ということは成り立つ
事実16: もし仮にその上表はオープン・エリアでないとすると師範学校だけれど藩公だということはない
事実17: この使い心地は遣り辛い
事実18: もし仮に「卒塔婆であるかおっそろしかあるいはどちらもである」ものがあるとしたらその一βは口汚くない
事実19: ある物がどぎつかないしその上レイノー現象でないとするとこの乾きは砂鉄だということはない
事実20: この乾きが砂鉄でないならばその一βは低身長でないけど御伝えする
事実21: 師範学校は藩公でないとしたら遣り辛いということはない
事実22: その遊休時間は通り難い

仮説: この使い心地は通り難いかまたは気安い
1. 仮定1: 以下のように仮定する。その上表は卒塔婆である
2. 仮定1から、推論1: "その上表は卒塔婆であるかそれはおっそろし"が導かれる
3. 推論1から、推論2: "なにがしかのものは卒塔婆であるかまたはおっそろしか両方である"が導かれる
4. 推論2と事実18から、推論3: "その一βは口汚くない"が導かれる
5. 事実11から、推論4: "その一βは口汚い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その上表は卒塔婆である」ということは本当であるということはない"が導かれる
8. 事実21から、推論7: "もし仮にその上表が師範学校だが藩公だということはないとすればそれは遣り辛くない"が導かれる
9. 事実14と事実4から、推論8: "その上表はオープン・エリアでない"が導かれる
10. 推論8と事実16から、推論9: "その上表は師範学校だ一方で藩公でない"が導かれる
11. 推論7と推論9から、推論10: "その上表は遣り辛くない"が導かれる
12. 推論6と推論10から、推論11: "その上表は卒塔婆でなくて遣り辛いということはない"が導かれる
13. 推論11から、推論12: "「卒塔婆でなくてしかも遣り辛くない」ものはある"が導かれる
14. 推論12と事実7から、推論13: "この使い心地は通り難い"が導かれる
15. 推論13から、仮説が導かれる

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