「その肥料分はちぎれ易くないとすると「「そのコーカサス諸語は見易くないけど横断する」ということは嘘だ」ということは成り立つ」ということは偽だ
fact1: もしその肥料分は延長出来るとすると「そのコーカサス諸語は見易くない一方で横断する」ということは確かでない fact2: もしその肥料分がちぎれ易くないとすると延長出来るしかつ隠居する fact3: 仮にその肥料分がちぎれ易いということはないけれど横断するならばあの十時前後は見易い
void -> assump1: 以下のように仮定する。その肥料分はちぎれ易くない; fact2 & assump1 -> int1: その肥料分は延長出来るしそれは隠居する; int1 -> int2: その肥料分は延長出来る; int2 & fact1 -> int3: 「そのコーカサス諸語は見易くないけれど横断する」ということは成り立たない; [assump1] & int3 -> hypothesis;
その十時前後は見易いし加えてメイクする
$facts$ = fact1: もしその肥料分は延長出来るとすると「そのコーカサス諸語は見易くない一方で横断する」ということは確かでない fact2: もしその肥料分がちぎれ易くないとすると延長出来るしかつ隠居する fact3: 仮にその肥料分がちぎれ易いということはないけれど横断するならばあの十時前後は見易い ; $hypothesis$ = 「その肥料分はちぎれ易くないとすると「「そのコーカサス諸語は見易くないけど横断する」ということは嘘だ」ということは成り立つ」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その肥料分はちぎれ易くない; fact2 & assump1 -> int1: その肥料分は延長出来るしそれは隠居する; int1 -> int2: その肥料分は延長出来る; int2 & fact1 -> int3: 「そのコーカサス諸語は見易くないけれど横断する」ということは成り立たない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしその肥料分は延長出来るとすると「そのコーカサス諸語は見易くない一方で横断する」ということは確かでない
事実2: もしその肥料分がちぎれ易くないとすると延長出来るしかつ隠居する
事実3: 仮にその肥料分がちぎれ易いということはないけれど横断するならばあの十時前後は見易い

仮説: 「その肥料分はちぎれ易くないとすると「「そのコーカサス諸語は見易くないけど横断する」ということは嘘だ」ということは成り立つ」ということは偽だ
1. 仮定1: 以下のように仮定する。その肥料分はちぎれ易くない
2. 事実2と仮定1から、推論1: "その肥料分は延長出来るしそれは隠居する"が導かれる
3. 推論1から、推論2: "その肥料分は延長出来る"が導かれる
4. 推論2と事実1から、推論3: "「そのコーカサス諸語は見易くないけれど横断する」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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