そのインプラント手術は溶き延ばさない
fact1: もし仮に「なにかは高い一方でひもじくない」ということは間違っていれば溶き延ばさない fact2: もし「その比較はうら若し」ということは真実だとすると「そのインプラント手術はうら若しないし加えて不穏分子でない」ということは本当でない fact3: 「もし「その経営管理システムは自賠法であるということはないけど描き易い」ということは嘘だとすれば「その比較はうら若し」ということは偽でない」ということは成り立つ fact4: もしその経営管理システムは食べ終わるとしたら「自賠法であるということはないが描き易い」ということは正しくない fact5: 「「そのインプラント手術はうら若しないし不穏分子だということはない」ということは本当だ」ということは確かでないとすればそれは溶き延ばす fact6: 「もし仮に「「高くない」ということは成り立つ」物はあるとしたら「そのＦ波はひもじいがしかし面白おかしくない」ということは誤りである」ということは成り立つ fact7: 「なにがしかのものは高くない」ということは成り立つ fact8: もしそのＦ波が事業評価であるとするとその経営管理システムは食べ終わる fact9: もし「あるものはひもじいが面白おかしくない」ということは嘘だとしたらそれは事業評価である
fact7 & fact6 -> int1: 「そのＦ波はひもじいが面白おかしくない」ということは成り立つということはない; fact9 -> int2: もしも「そのＦ波はひもじいがしかし面白おかしいということはない」ということは誤りだとすると事業評価である; int1 & int2 -> int3: 「そのＦ波は事業評価だ」ということは正しい; int3 & fact8 -> int4: その経営管理システムは食べ終わる; int4 & fact4 -> int5: 「その経営管理システムは自賠法でないけど描き易い」ということは誤りだ; int5 & fact3 -> int6: その比較はうら若し; int6 & fact2 -> int7: 「そのインプラント手術はうら若しないし不穏分子であるということはない」ということは成り立たない; int7 & fact5 -> hypothesis;
そのインプラント手術は溶き延ばさない
fact10 -> int8: 「そのインプラント手術は高いけれどひもじくない」ということは誤りであるならそれは溶き延ばさない;
$facts$ = fact1: もし仮に「なにかは高い一方でひもじくない」ということは間違っていれば溶き延ばさない fact2: もし「その比較はうら若し」ということは真実だとすると「そのインプラント手術はうら若しないし加えて不穏分子でない」ということは本当でない fact3: 「もし「その経営管理システムは自賠法であるということはないけど描き易い」ということは嘘だとすれば「その比較はうら若し」ということは偽でない」ということは成り立つ fact4: もしその経営管理システムは食べ終わるとしたら「自賠法であるということはないが描き易い」ということは正しくない fact5: 「「そのインプラント手術はうら若しないし不穏分子だということはない」ということは本当だ」ということは確かでないとすればそれは溶き延ばす fact6: 「もし仮に「「高くない」ということは成り立つ」物はあるとしたら「そのＦ波はひもじいがしかし面白おかしくない」ということは誤りである」ということは成り立つ fact7: 「なにがしかのものは高くない」ということは成り立つ fact8: もしそのＦ波が事業評価であるとするとその経営管理システムは食べ終わる fact9: もし「あるものはひもじいが面白おかしくない」ということは嘘だとしたらそれは事業評価である ; $hypothesis$ = そのインプラント手術は溶き延ばさない ; $proof$ = 
fact7 & fact6 -> int1: 「そのＦ波はひもじいが面白おかしくない」ということは成り立つということはない; fact9 -> int2: もしも「そのＦ波はひもじいがしかし面白おかしいということはない」ということは誤りだとすると事業評価である; int1 & int2 -> int3: 「そのＦ波は事業評価だ」ということは正しい; int3 & fact8 -> int4: その経営管理システムは食べ終わる; int4 & fact4 -> int5: 「その経営管理システムは自賠法でないけど描き易い」ということは誤りだ; int5 & fact3 -> int6: その比較はうら若し; int6 & fact2 -> int7: 「そのインプラント手術はうら若しないし不穏分子であるということはない」ということは成り立たない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにかは高い一方でひもじくない」ということは間違っていれば溶き延ばさない
事実2: もし「その比較はうら若し」ということは真実だとすると「そのインプラント手術はうら若しないし加えて不穏分子でない」ということは本当でない
事実3: 「もし「その経営管理システムは自賠法であるということはないけど描き易い」ということは嘘だとすれば「その比較はうら若し」ということは偽でない」ということは成り立つ
事実4: もしその経営管理システムは食べ終わるとしたら「自賠法であるということはないが描き易い」ということは正しくない
事実5: 「「そのインプラント手術はうら若しないし不穏分子だということはない」ということは本当だ」ということは確かでないとすればそれは溶き延ばす
事実6: 「もし仮に「「高くない」ということは成り立つ」物はあるとしたら「そのＦ波はひもじいがしかし面白おかしくない」ということは誤りである」ということは成り立つ
事実7: 「なにがしかのものは高くない」ということは成り立つ
事実8: もしそのＦ波が事業評価であるとするとその経営管理システムは食べ終わる
事実9: もし「あるものはひもじいが面白おかしくない」ということは嘘だとしたらそれは事業評価である

仮説: そのインプラント手術は溶き延ばさない
1. 事実7と事実6から、推論1: "「そのＦ波はひもじいが面白おかしくない」ということは成り立つということはない"が導かれる
2. 事実9から、推論2: "もしも「そのＦ波はひもじいがしかし面白おかしいということはない」ということは誤りだとすると事業評価である"が導かれる
3. 推論1と推論2から、推論3: "「そのＦ波は事業評価だ」ということは正しい"が導かれる
4. 推論3と事実8から、推論4: "その経営管理システムは食べ終わる"が導かれる
5. 推論4と事実4から、推論5: "「その経営管理システムは自賠法でないけど描き易い」ということは誤りだ"が導かれる
6. 推論5と事実3から、推論6: "その比較はうら若し"が導かれる
7. 推論6と事実2から、推論7: "「そのインプラント手術はうら若しないし不穏分子であるということはない」ということは成り立たない"が導かれる
8. 推論7と事実5から、仮説が否定される

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