「この扱いは格上げしなくてかつそれは手拍子だということはない」ということは成り立たない
fact1: もしあの白河殿が化身であるとするとあの人生哲学は化身でない fact2: その白蟻は格上げしない fact3: あの要地は第一ピリオドでないかもしくは尊しない fact4: もしその白蟻は拉致しないかまたは座り易くないかまたはどちらもであるなら「この扱いは格上げしない」ということは成り立つ fact5: 仮にあの人生哲学が化身でないとしたらこの立ち眩みは構成刃先でないしさらにそれは商人らしくない fact6: この扱いは手拍子でない fact7: もし仮にその白蟻が拉致しないとするとこの扱いは格上げしない fact8: あの経営手法は手拍子でない fact9: もしもこの立ち眩みが構成刃先でなくて加えてそれが商人らしくないならこの難路は晶出しない fact10: もし仮に何かは離れ難くないならばそれは化身であるしそれは狂おしい fact11: この難路が晶出しないとしたらあの本務は奇麗毎で見慣れる fact12: その白蟻は拉致するかあるいは座り易くない fact13: その白蟻は拉致するということはないかまたは座り易くないかあるいは両方ともだ fact14: 「このクレーンは離れ難くて心強い」ということは事実と異なる fact15: その白蟻は日本人離れするとすると「この扱いは格上げしなくて更にそれは手拍子でない」ということは誤りだ fact16: あの本務が日本人離れするならばあの白蟻は日本人離れする fact17: もし仮になんらかのものは奇麗毎であるとしたらそれは日本人離れする
fact4 & fact13 -> int1: この扱いは格上げしない; int1 & fact6 -> hypothesis;
fact4 & fact13 -> int1: ¬{B}{b}; int1 & fact6 -> hypothesis;
「この扱いは格上げしないし手拍子でない」ということは成り立たない
fact22 -> int2: もしあの本務は奇麗毎であるならそれは日本人離れする; fact25 -> int3: 仮にあの白河殿が離れ難くないなら化身だし狂おしい; fact23 -> int4: 「「離れ難いし心強い」ということは成り立つということはない」ものはある;
$facts$ = fact1: もしあの白河殿が化身であるとするとあの人生哲学は化身でない fact2: その白蟻は格上げしない fact3: あの要地は第一ピリオドでないかもしくは尊しない fact4: もしその白蟻は拉致しないかまたは座り易くないかまたはどちらもであるなら「この扱いは格上げしない」ということは成り立つ fact5: 仮にあの人生哲学が化身でないとしたらこの立ち眩みは構成刃先でないしさらにそれは商人らしくない fact6: この扱いは手拍子でない fact7: もし仮にその白蟻が拉致しないとするとこの扱いは格上げしない fact8: あの経営手法は手拍子でない fact9: もしもこの立ち眩みが構成刃先でなくて加えてそれが商人らしくないならこの難路は晶出しない fact10: もし仮に何かは離れ難くないならばそれは化身であるしそれは狂おしい fact11: この難路が晶出しないとしたらあの本務は奇麗毎で見慣れる fact12: その白蟻は拉致するかあるいは座り易くない fact13: その白蟻は拉致するということはないかまたは座り易くないかあるいは両方ともだ fact14: 「このクレーンは離れ難くて心強い」ということは事実と異なる fact15: その白蟻は日本人離れするとすると「この扱いは格上げしなくて更にそれは手拍子でない」ということは誤りだ fact16: あの本務が日本人離れするならばあの白蟻は日本人離れする fact17: もし仮になんらかのものは奇麗毎であるとしたらそれは日本人離れする ; $hypothesis$ = 「この扱いは格上げしなくてかつそれは手拍子だということはない」ということは成り立たない ; $proof$ = 
fact4 & fact13 -> int1: この扱いは格上げしない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあの白河殿が化身であるとするとあの人生哲学は化身でない
事実2: その白蟻は格上げしない
事実3: あの要地は第一ピリオドでないかもしくは尊しない
事実4: もしその白蟻は拉致しないかまたは座り易くないかまたはどちらもであるなら「この扱いは格上げしない」ということは成り立つ
事実5: 仮にあの人生哲学が化身でないとしたらこの立ち眩みは構成刃先でないしさらにそれは商人らしくない
事実6: この扱いは手拍子でない
事実7: もし仮にその白蟻が拉致しないとするとこの扱いは格上げしない
事実8: あの経営手法は手拍子でない
事実9: もしもこの立ち眩みが構成刃先でなくて加えてそれが商人らしくないならこの難路は晶出しない
事実10: もし仮に何かは離れ難くないならばそれは化身であるしそれは狂おしい
事実11: この難路が晶出しないとしたらあの本務は奇麗毎で見慣れる
事実12: その白蟻は拉致するかあるいは座り易くない
事実13: その白蟻は拉致するということはないかまたは座り易くないかあるいは両方ともだ
事実14: 「このクレーンは離れ難くて心強い」ということは事実と異なる
事実15: その白蟻は日本人離れするとすると「この扱いは格上げしなくて更にそれは手拍子でない」ということは誤りだ
事実16: あの本務が日本人離れするならばあの白蟻は日本人離れする
事実17: もし仮になんらかのものは奇麗毎であるとしたらそれは日本人離れする

仮説: 「この扱いは格上げしなくてかつそれは手拍子だということはない」ということは成り立たない
1. 事実4と事実13から、推論1: "この扱いは格上げしない"が導かれる
2. 推論1と事実6から、仮説が否定される

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