「その輪状甲状筋は屈み込むしそれは執行状況である」ということは成り立たない
fact1: 仮になにがしかのものは岩石海岸だということはないならば「屈み込むし執行状況である」ということは間違いである fact2: あの御旨は岩石海岸である fact3: その輪状甲状筋は無くてさらに診療する fact4: この自治法は屈み込む fact5: この自治法は執行状況である fact6: もしもこの自治法が引き易くないとするとあの社会的階層はＲＯＡでそれは執行状況だ fact7: もし仮にその輪状甲状筋は岩石海岸であるとするとそれは屈み込む fact8: 「その輪状甲状筋は岩石海岸である」ということは誤っているということはない fact9: もし仮にこの自治法が執行状況であるならばあの輪状甲状筋は執行状況だ
fact7 & fact8 -> int1: その輪状甲状筋は屈み込む; fact5 & fact9 -> int2: その輪状甲状筋は執行状況だ; int1 & int2 -> hypothesis;
fact7 & fact8 -> int1: {B}{a}; fact5 & fact9 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「その輪状甲状筋は屈み込むしその上執行状況だ」ということは偽である
fact10 -> int3: もしもその輪状甲状筋は岩石海岸でないなら「屈み込むしそれは執行状況である」ということは成り立つということはない;
$facts$ = fact1: 仮になにがしかのものは岩石海岸だということはないならば「屈み込むし執行状況である」ということは間違いである fact2: あの御旨は岩石海岸である fact3: その輪状甲状筋は無くてさらに診療する fact4: この自治法は屈み込む fact5: この自治法は執行状況である fact6: もしもこの自治法が引き易くないとするとあの社会的階層はＲＯＡでそれは執行状況だ fact7: もし仮にその輪状甲状筋は岩石海岸であるとするとそれは屈み込む fact8: 「その輪状甲状筋は岩石海岸である」ということは誤っているということはない fact9: もし仮にこの自治法が執行状況であるならばあの輪状甲状筋は執行状況だ ; $hypothesis$ = 「その輪状甲状筋は屈み込むしそれは執行状況である」ということは成り立たない ; $proof$ = 
fact7 & fact8 -> int1: その輪状甲状筋は屈み込む; fact5 & fact9 -> int2: その輪状甲状筋は執行状況だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは岩石海岸だということはないならば「屈み込むし執行状況である」ということは間違いである
事実2: あの御旨は岩石海岸である
事実3: その輪状甲状筋は無くてさらに診療する
事実4: この自治法は屈み込む
事実5: この自治法は執行状況である
事実6: もしもこの自治法が引き易くないとするとあの社会的階層はＲＯＡでそれは執行状況だ
事実7: もし仮にその輪状甲状筋は岩石海岸であるとするとそれは屈み込む
事実8: 「その輪状甲状筋は岩石海岸である」ということは誤っているということはない
事実9: もし仮にこの自治法が執行状況であるならばあの輪状甲状筋は執行状況だ

仮説: 「その輪状甲状筋は屈み込むしそれは執行状況である」ということは成り立たない
1. 事実7と事実8から、推論1: "その輪状甲状筋は屈み込む"が導かれる
2. 事実5と事実9から、推論2: "その輪状甲状筋は執行状況だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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