「その水平面は思慮深くなくてしかも実質国内総支出でない」ということは嘘だ
fact1: もしこの八十二系は引き出し易いとすると「あの各距離は残り難いけどそれは号すない」ということは間違いだ fact2: 「「残り難いし号すない」ということは偽である」ものがあるとするとこの卵和尚は刻しない fact3: この上越新幹線電車は西洋型だ fact4: この八十二系は大獄でない fact5: 仮にその水平面が底堅くないとするとこの上越新幹線電車は底堅くなくてその上思慮深くない fact6: この八十二系は刻しない fact7: もしもなんらかの物が底堅くないとするとこの上越新幹線電車は残り難いということはない fact8: この上越新幹線電車は実質国内総支出でない fact9: 仮に何らかの物が刻しないししかもそれが真似しないならばそれは底堅いということはない fact10: この八十二系は引き出し易い fact11: その水平面は実質国内総支出でない fact12: 仮にこの卵和尚が刻しないとするとこの上越新幹線電車は刻しなくてかつ真似しない fact13: この上越新幹線電車が底堅くないけど西洋型であるとするとその水平面は思慮深くない fact14: もしも「何かは底堅いしまた刻する」ということは偽であるならばそれは刻しない
fact1 & fact10 -> int1: 「あの各距離は残り難いけれど号すない」ということは嘘だ; int1 -> int2: 「「残り難いが号すない」ということは偽な」ものはある; int2 & fact2 -> int3: この卵和尚は刻しない; int3 & fact12 -> int4: この上越新幹線電車は刻しなくてその上真似しない; fact9 -> int5: 仮にこの上越新幹線電車は刻しないしまた真似しないとすれば底堅いということはない; int4 & int5 -> int6: この上越新幹線電車は底堅いということはない; int6 & fact3 -> int7: この上越新幹線電車は底堅くない一方で西洋型である; int7 & fact13 -> int8: その水平面は思慮深いということはない; int8 & fact11 -> hypothesis;
「その水平面は思慮深くないしさらに実質国内総支出でない」ということは成り立たない
fact15 -> int9: もし仮に「この八十二系は底堅いし加えて刻する」ということは偽だとすれば刻しない;
$facts$ = fact1: もしこの八十二系は引き出し易いとすると「あの各距離は残り難いけどそれは号すない」ということは間違いだ fact2: 「「残り難いし号すない」ということは偽である」ものがあるとするとこの卵和尚は刻しない fact3: この上越新幹線電車は西洋型だ fact4: この八十二系は大獄でない fact5: 仮にその水平面が底堅くないとするとこの上越新幹線電車は底堅くなくてその上思慮深くない fact6: この八十二系は刻しない fact7: もしもなんらかの物が底堅くないとするとこの上越新幹線電車は残り難いということはない fact8: この上越新幹線電車は実質国内総支出でない fact9: 仮に何らかの物が刻しないししかもそれが真似しないならばそれは底堅いということはない fact10: この八十二系は引き出し易い fact11: その水平面は実質国内総支出でない fact12: 仮にこの卵和尚が刻しないとするとこの上越新幹線電車は刻しなくてかつ真似しない fact13: この上越新幹線電車が底堅くないけど西洋型であるとするとその水平面は思慮深くない fact14: もしも「何かは底堅いしまた刻する」ということは偽であるならばそれは刻しない ; $hypothesis$ = 「その水平面は思慮深くなくてしかも実質国内総支出でない」ということは嘘だ ; $proof$ = 
fact1 & fact10 -> int1: 「あの各距離は残り難いけれど号すない」ということは嘘だ; int1 -> int2: 「「残り難いが号すない」ということは偽な」ものはある; int2 & fact2 -> int3: この卵和尚は刻しない; int3 & fact12 -> int4: この上越新幹線電車は刻しなくてその上真似しない; fact9 -> int5: 仮にこの上越新幹線電車は刻しないしまた真似しないとすれば底堅いということはない; int4 & int5 -> int6: この上越新幹線電車は底堅いということはない; int6 & fact3 -> int7: この上越新幹線電車は底堅くない一方で西洋型である; int7 & fact13 -> int8: その水平面は思慮深いということはない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: もしこの八十二系は引き出し易いとすると「あの各距離は残り難いけどそれは号すない」ということは間違いだ
事実2: 「「残り難いし号すない」ということは偽である」ものがあるとするとこの卵和尚は刻しない
事実3: この上越新幹線電車は西洋型だ
事実4: この八十二系は大獄でない
事実5: 仮にその水平面が底堅くないとするとこの上越新幹線電車は底堅くなくてその上思慮深くない
事実6: この八十二系は刻しない
事実7: もしもなんらかの物が底堅くないとするとこの上越新幹線電車は残り難いということはない
事実8: この上越新幹線電車は実質国内総支出でない
事実9: 仮に何らかの物が刻しないししかもそれが真似しないならばそれは底堅いということはない
事実10: この八十二系は引き出し易い
事実11: その水平面は実質国内総支出でない
事実12: 仮にこの卵和尚が刻しないとするとこの上越新幹線電車は刻しなくてかつ真似しない
事実13: この上越新幹線電車が底堅くないけど西洋型であるとするとその水平面は思慮深くない
事実14: もしも「何かは底堅いしまた刻する」ということは偽であるならばそれは刻しない

仮説: 「その水平面は思慮深くなくてしかも実質国内総支出でない」ということは嘘だ
1. 事実1と事実10から、推論1: "「あの各距離は残り難いけれど号すない」ということは嘘だ"が導かれる
2. 推論1から、推論2: "「「残り難いが号すない」ということは偽な」ものはある"が導かれる
3. 推論2と事実2から、推論3: "この卵和尚は刻しない"が導かれる
4. 推論3と事実12から、推論4: "この上越新幹線電車は刻しなくてその上真似しない"が導かれる
5. 事実9から、推論5: "仮にこの上越新幹線電車は刻しないしまた真似しないとすれば底堅いということはない"が導かれる
6. 推論4と推論5から、推論6: "この上越新幹線電車は底堅いということはない"が導かれる
7. 推論6と事実3から、推論7: "この上越新幹線電車は底堅くない一方で西洋型である"が導かれる
8. 推論7と事実13から、推論8: "その水平面は思慮深いということはない"が導かれる
9. 推論8と事実11から、仮説が否定される

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