この祝砲は堀跡でない
fact1: もしなにがしかのものはかどわかさないとしたら「掲げないしリッチテキスト形式である」ということは間違いだ fact2: 「あの防水シートは磨き上げないしフォーム上でない」ということは誤りである fact3: この祝砲は輸液量だということはないけど身悶えする fact4: この祝砲はリッチテキスト形式である fact5: もし仮にあのＨＧが爪ブラシでそれは堀跡であるならばそれは掲げない fact6: 仮になんらかのものはリッチテキスト形式でないとすれば「かどわかさなくてしかも爪ブラシでない」ということは成り立たない fact7: 「あのＨＧはかどわかさないししかも爪ブラシでない」ということは誤りであるならばあの祝砲は堀跡だ fact8: もし仮に「あのＨＧは爪ブラシであるし堀跡だ」ということは真実ならこの祝砲は堀跡であるということはない fact9: もしあのＨＧが磨き上げるということはないがしかしそれが掲げるとするとリッチテキスト形式でない fact10: あのＨＧは磨き上げないがしかし掲げる
fact9 & fact10 -> int1: あのＨＧはリッチテキスト形式であるということはない; fact6 -> int2: あのＨＧはリッチテキスト形式でないなら「それはかどわかさないしそれに爪ブラシでない」ということは間違っている; int1 & int2 -> int3: 「あのＨＧはかどわかさないしかつ爪ブラシでない」ということは誤っている; int3 & fact7 -> hypothesis;
この祝砲は堀跡でない
$facts$ = fact1: もしなにがしかのものはかどわかさないとしたら「掲げないしリッチテキスト形式である」ということは間違いだ fact2: 「あの防水シートは磨き上げないしフォーム上でない」ということは誤りである fact3: この祝砲は輸液量だということはないけど身悶えする fact4: この祝砲はリッチテキスト形式である fact5: もし仮にあのＨＧが爪ブラシでそれは堀跡であるならばそれは掲げない fact6: 仮になんらかのものはリッチテキスト形式でないとすれば「かどわかさなくてしかも爪ブラシでない」ということは成り立たない fact7: 「あのＨＧはかどわかさないししかも爪ブラシでない」ということは誤りであるならばあの祝砲は堀跡だ fact8: もし仮に「あのＨＧは爪ブラシであるし堀跡だ」ということは真実ならこの祝砲は堀跡であるということはない fact9: もしあのＨＧが磨き上げるということはないがしかしそれが掲げるとするとリッチテキスト形式でない fact10: あのＨＧは磨き上げないがしかし掲げる ; $hypothesis$ = この祝砲は堀跡でない ; $proof$ = 
fact9 & fact10 -> int1: あのＨＧはリッチテキスト形式であるということはない; fact6 -> int2: あのＨＧはリッチテキスト形式でないなら「それはかどわかさないしそれに爪ブラシでない」ということは間違っている; int1 & int2 -> int3: 「あのＨＧはかどわかさないしかつ爪ブラシでない」ということは誤っている; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものはかどわかさないとしたら「掲げないしリッチテキスト形式である」ということは間違いだ
事実2: 「あの防水シートは磨き上げないしフォーム上でない」ということは誤りである
事実3: この祝砲は輸液量だということはないけど身悶えする
事実4: この祝砲はリッチテキスト形式である
事実5: もし仮にあのＨＧが爪ブラシでそれは堀跡であるならばそれは掲げない
事実6: 仮になんらかのものはリッチテキスト形式でないとすれば「かどわかさなくてしかも爪ブラシでない」ということは成り立たない
事実7: 「あのＨＧはかどわかさないししかも爪ブラシでない」ということは誤りであるならばあの祝砲は堀跡だ
事実8: もし仮に「あのＨＧは爪ブラシであるし堀跡だ」ということは真実ならこの祝砲は堀跡であるということはない
事実9: もしあのＨＧが磨き上げるということはないがしかしそれが掲げるとするとリッチテキスト形式でない
事実10: あのＨＧは磨き上げないがしかし掲げる

仮説: この祝砲は堀跡でない
1. 事実9と事実10から、推論1: "あのＨＧはリッチテキスト形式であるということはない"が導かれる
2. 事実6から、推論2: "あのＨＧはリッチテキスト形式でないなら「それはかどわかさないしそれに爪ブラシでない」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "「あのＨＧはかどわかさないしかつ爪ブラシでない」ということは誤っている"が導かれる
4. 推論3と事実7から、仮説が否定される

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