この甲状腺機能低下症は掘り上げない
fact1: もしこの甲状腺機能低下症が見間違えないならばそれは固い fact2: 可愛らしくないかもしくは甚だしくないかまたはどちらもであるものは拘留する fact3: 「この甲状腺機能低下症は押し通さないかあるいはそれは御連れしないかもしくはどちらもだ」ということは正しい fact4: もし仮になにがしかのものが押し通さないかもしくはそれは御連れしないかまたはどちらもだとすれば「掘り上げる」ということは確かである
fact4 -> int1: 仮にこの甲状腺機能低下症が押し通さないか御連れするということはないならばそれは掘り上げる; int1 & fact3 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> hypothesis;
もし仮にこの新御堂筋は可愛らしくないかあるいは甚だしくないか両方ならば「それは拘留する」ということは成り立つ
fact5 -> hypothesis;
$facts$ = fact1: もしこの甲状腺機能低下症が見間違えないならばそれは固い fact2: 可愛らしくないかもしくは甚だしくないかまたはどちらもであるものは拘留する fact3: 「この甲状腺機能低下症は押し通さないかあるいはそれは御連れしないかもしくはどちらもだ」ということは正しい fact4: もし仮になにがしかのものが押し通さないかもしくはそれは御連れしないかまたはどちらもだとすれば「掘り上げる」ということは確かである ; $hypothesis$ = この甲状腺機能低下症は掘り上げない ; $proof$ = 
fact4 -> int1: 仮にこの甲状腺機能低下症が押し通さないか御連れするということはないならばそれは掘り上げる; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしこの甲状腺機能低下症が見間違えないならばそれは固い
事実2: 可愛らしくないかもしくは甚だしくないかまたはどちらもであるものは拘留する
事実3: 「この甲状腺機能低下症は押し通さないかあるいはそれは御連れしないかもしくはどちらもだ」ということは正しい
事実4: もし仮になにがしかのものが押し通さないかもしくはそれは御連れしないかまたはどちらもだとすれば「掘り上げる」ということは確かである

仮説: この甲状腺機能低下症は掘り上げない
1. 事実4から、推論1: "仮にこの甲状腺機能低下症が押し通さないか御連れするということはないならばそれは掘り上げる"が導かれる
2. 推論1と事実3から、仮説が否定される

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