「もしこの群落が突っ込むとすればあの慇懃は輸出入でない」ということは本当でない
fact1: この群落が転び易いしその上突っ込むならばあの慇懃は輸出入でない fact2: とあるものは食べ始めない fact3: もしも「何らかのものは隣り合わせないがしかし輸出入だ」ということは間違いであるとしたらそれは隣り合わせる fact4: もしもこの群落が転び易いしおまけに突っ込むならその慇懃は輸出入だ fact5: 「その慇懃は輸出入でない」ということは正しくない fact6: この群落は隣り合わせるしかつ転び易い fact7: もしもこの群落が突っ込めばその慇懃は輸出入である fact8: この群落は隣り合わせる
fact6 -> int1: この群落は転び易い; void -> assump1: 以下のように仮定する。「この群落は突っ込む」ということは間違いでない; int1 & assump1 -> int2: この群落は転び易いし突っ込む; int2 & fact1 -> int3: その慇懃は輸出入でない; [assump1] & int3 -> hypothesis;
あの心地良さは隣り合わせるし加えてはしたない
fact9 -> int4: もし「あの心地良さは隣り合わせない一方で輸出入だ」ということは成り立たないとするとそれは隣り合わせる;
$facts$ = fact1: この群落が転び易いしその上突っ込むならばあの慇懃は輸出入でない fact2: とあるものは食べ始めない fact3: もしも「何らかのものは隣り合わせないがしかし輸出入だ」ということは間違いであるとしたらそれは隣り合わせる fact4: もしもこの群落が転び易いしおまけに突っ込むならその慇懃は輸出入だ fact5: 「その慇懃は輸出入でない」ということは正しくない fact6: この群落は隣り合わせるしかつ転び易い fact7: もしもこの群落が突っ込めばその慇懃は輸出入である fact8: この群落は隣り合わせる ; $hypothesis$ = 「もしこの群落が突っ込むとすればあの慇懃は輸出入でない」ということは本当でない ; $proof$ = 
fact6 -> int1: この群落は転び易い; void -> assump1: 以下のように仮定する。「この群落は突っ込む」ということは間違いでない; int1 & assump1 -> int2: この群落は転び易いし突っ込む; int2 & fact1 -> int3: その慇懃は輸出入でない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この群落が転び易いしその上突っ込むならばあの慇懃は輸出入でない
事実2: とあるものは食べ始めない
事実3: もしも「何らかのものは隣り合わせないがしかし輸出入だ」ということは間違いであるとしたらそれは隣り合わせる
事実4: もしもこの群落が転び易いしおまけに突っ込むならその慇懃は輸出入だ
事実5: 「その慇懃は輸出入でない」ということは正しくない
事実6: この群落は隣り合わせるしかつ転び易い
事実7: もしもこの群落が突っ込めばその慇懃は輸出入である
事実8: この群落は隣り合わせる

仮説: 「もしこの群落が突っ込むとすればあの慇懃は輸出入でない」ということは本当でない
1. 事実6から、推論1: "この群落は転び易い"が導かれる
2. 仮定1: 以下のように仮定する。「この群落は突っ込む」ということは間違いでない
3. 推論1と仮定1から、推論2: "この群落は転び易いし突っ込む"が導かれる
4. 推論2と事実1から、推論3: "その慇懃は輸出入でない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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