「あの対応策は真ん丸くないけど未練がましい」ということは嘘だ
fact1: 「あの対応策は出力でないがしかし交感する」ということは偽である fact2: この花婿はＣＯイングでない fact3: もし仮にこの擬宝珠が出力だししかも住み易いとするとこの花婿は開発史でない fact4: 仮にとある物は開発史でないがしかし住み易いとしたら「それは出力でない」ということは本当である fact5: あの対応策が未練がましいということはないならば出力であるかまたはそれは杯でない fact6: もしなんらかの物が出力でないなら害すか杯であるか両方だ fact7: この擬宝珠は害すかもしくは杯である fact8: この擬宝珠は住み易い fact9: もし仮にこの擬宝珠が出力でないならそれは害すかそれは杯であるかあるいは両方ともだ fact10: 「あの対応策は真ん丸いしそれに未練がましい」ということは成り立たない fact11: 何らかの物は出力でないとしたらそれは真ん丸くないけれど未練がましい fact12: 仮になにがしかのものが出力でないなら保証出来るかもしくはＣＯイングでないかもしくは両方だ fact13: 仮に「この花婿は保証出来る」ということは正しいとしたら「あの対応策は真ん丸いし更に未練がましい」ということは成り立たない fact14: この擬宝珠は杯だ fact15: もし仮にあの対応策は杯でないならば「それは未練がましいかまたは真ん丸くないかあるいはどちらもだ」ということは成り立たない fact16: もしこの擬宝珠はＣＯイングでないとすれば「それは害すかもしくは杯だということはないかもしくは両方である」ということは成り立たない fact17: もし仮にこの花婿が保証出来ないとすればあの対応策は保証出来る fact18: もしもある物が出力でないならばそれは害すかもしくはそれは杯でない fact19: もし仮にこの花婿は保証出来るとしたら「あの対応策は真ん丸くないけれど未練がましい」ということは間違いだ fact20: もしとあるものは開発史でないならそれは保証出来る fact21: もしもこの擬宝珠はＣＯイングでないならば「杯である」ということは本当である fact22: この擬宝珠はＣＯイングだということはない fact23: もしも「あのホッケー部はＣＯイングで平べったい」ということは成り立たないとすればこの花婿は保証出来ない fact24: もし仮にとある物が保証出来るなら開発史でないけれど住み易い
fact18 -> int1: この擬宝珠が出力でないとすれば害すかまたはそれは杯であるということはない; void -> assump1: 以下のように仮定する。この擬宝珠は出力でない; int1 & assump1 -> int2: この擬宝珠は害すかあるいはそれは杯でないかあるいは両方ともである; fact22 & fact16 -> int3: 「この擬宝珠は害すかあるいは杯でないかあるいは両方ともだ」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この擬宝珠は出力だ; int5 & fact8 -> int6: この擬宝珠は出力であるしさらに住み易い; int6 & fact3 -> int7: この花婿は開発史でない; fact20 -> int8: もし仮に「この花婿は開発史でない」ということは成り立つとすると保証出来る; int7 & int8 -> int9: この花婿は保証出来る; int9 & fact19 -> hypothesis;
あの対応策は真ん丸くないがしかし未練がましい
fact26 -> int10: もしもあの対応策が出力でないとしたら真ん丸くないしそれは未練がましい; fact25 -> int11: あの対応策が開発史でないが住み易いとするとそれは出力でない; fact29 -> int12: 仮にあの対応策が保証出来るとしたらそれは開発史でないし住み易い;
$facts$ = fact1: 「あの対応策は出力でないがしかし交感する」ということは偽である fact2: この花婿はＣＯイングでない fact3: もし仮にこの擬宝珠が出力だししかも住み易いとするとこの花婿は開発史でない fact4: 仮にとある物は開発史でないがしかし住み易いとしたら「それは出力でない」ということは本当である fact5: あの対応策が未練がましいということはないならば出力であるかまたはそれは杯でない fact6: もしなんらかの物が出力でないなら害すか杯であるか両方だ fact7: この擬宝珠は害すかもしくは杯である fact8: この擬宝珠は住み易い fact9: もし仮にこの擬宝珠が出力でないならそれは害すかそれは杯であるかあるいは両方ともだ fact10: 「あの対応策は真ん丸いしそれに未練がましい」ということは成り立たない fact11: 何らかの物は出力でないとしたらそれは真ん丸くないけれど未練がましい fact12: 仮になにがしかのものが出力でないなら保証出来るかもしくはＣＯイングでないかもしくは両方だ fact13: 仮に「この花婿は保証出来る」ということは正しいとしたら「あの対応策は真ん丸いし更に未練がましい」ということは成り立たない fact14: この擬宝珠は杯だ fact15: もし仮にあの対応策は杯でないならば「それは未練がましいかまたは真ん丸くないかあるいはどちらもだ」ということは成り立たない fact16: もしこの擬宝珠はＣＯイングでないとすれば「それは害すかもしくは杯だということはないかもしくは両方である」ということは成り立たない fact17: もし仮にこの花婿が保証出来ないとすればあの対応策は保証出来る fact18: もしもある物が出力でないならばそれは害すかもしくはそれは杯でない fact19: もし仮にこの花婿は保証出来るとしたら「あの対応策は真ん丸くないけれど未練がましい」ということは間違いだ fact20: もしとあるものは開発史でないならそれは保証出来る fact21: もしもこの擬宝珠はＣＯイングでないならば「杯である」ということは本当である fact22: この擬宝珠はＣＯイングだということはない fact23: もしも「あのホッケー部はＣＯイングで平べったい」ということは成り立たないとすればこの花婿は保証出来ない fact24: もし仮にとある物が保証出来るなら開発史でないけれど住み易い ; $hypothesis$ = 「あの対応策は真ん丸くないけど未練がましい」ということは嘘だ ; $proof$ = 
fact18 -> int1: この擬宝珠が出力でないとすれば害すかまたはそれは杯であるということはない; void -> assump1: 以下のように仮定する。この擬宝珠は出力でない; int1 & assump1 -> int2: この擬宝珠は害すかあるいはそれは杯でないかあるいは両方ともである; fact22 & fact16 -> int3: 「この擬宝珠は害すかあるいは杯でないかあるいは両方ともだ」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この擬宝珠は出力だ; int5 & fact8 -> int6: この擬宝珠は出力であるしさらに住み易い; int6 & fact3 -> int7: この花婿は開発史でない; fact20 -> int8: もし仮に「この花婿は開発史でない」ということは成り立つとすると保証出来る; int7 & int8 -> int9: この花婿は保証出来る; int9 & fact19 -> hypothesis; __PROVED__
事実1: 「あの対応策は出力でないがしかし交感する」ということは偽である
事実2: この花婿はＣＯイングでない
事実3: もし仮にこの擬宝珠が出力だししかも住み易いとするとこの花婿は開発史でない
事実4: 仮にとある物は開発史でないがしかし住み易いとしたら「それは出力でない」ということは本当である
事実5: あの対応策が未練がましいということはないならば出力であるかまたはそれは杯でない
事実6: もしなんらかの物が出力でないなら害すか杯であるか両方だ
事実7: この擬宝珠は害すかもしくは杯である
事実8: この擬宝珠は住み易い
事実9: もし仮にこの擬宝珠が出力でないならそれは害すかそれは杯であるかあるいは両方ともだ
事実10: 「あの対応策は真ん丸いしそれに未練がましい」ということは成り立たない
事実11: 何らかの物は出力でないとしたらそれは真ん丸くないけれど未練がましい
事実12: 仮になにがしかのものが出力でないなら保証出来るかもしくはＣＯイングでないかもしくは両方だ
事実13: 仮に「この花婿は保証出来る」ということは正しいとしたら「あの対応策は真ん丸いし更に未練がましい」ということは成り立たない
事実14: この擬宝珠は杯だ
事実15: もし仮にあの対応策は杯でないならば「それは未練がましいかまたは真ん丸くないかあるいはどちらもだ」ということは成り立たない
事実16: もしこの擬宝珠はＣＯイングでないとすれば「それは害すかもしくは杯だということはないかもしくは両方である」ということは成り立たない
事実17: もし仮にこの花婿が保証出来ないとすればあの対応策は保証出来る
事実18: もしもある物が出力でないならばそれは害すかもしくはそれは杯でない
事実19: もし仮にこの花婿は保証出来るとしたら「あの対応策は真ん丸くないけれど未練がましい」ということは間違いだ
事実20: もしとあるものは開発史でないならそれは保証出来る
事実21: もしもこの擬宝珠はＣＯイングでないならば「杯である」ということは本当である
事実22: この擬宝珠はＣＯイングだということはない
事実23: もしも「あのホッケー部はＣＯイングで平べったい」ということは成り立たないとすればこの花婿は保証出来ない
事実24: もし仮にとある物が保証出来るなら開発史でないけれど住み易い

仮説: 「あの対応策は真ん丸くないけど未練がましい」ということは嘘だ
1. 事実18から、推論1: "この擬宝珠が出力でないとすれば害すかまたはそれは杯であるということはない"が導かれる
2. 仮定1: 以下のように仮定する。この擬宝珠は出力でない
3. 推論1と仮定1から、推論2: "この擬宝珠は害すかあるいはそれは杯でないかあるいは両方ともである"が導かれる
4. 事実22と事実16から、推論3: "「この擬宝珠は害すかあるいは杯でないかあるいは両方ともだ」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この擬宝珠は出力だ"が導かれる
7. 推論5と事実8から、推論6: "この擬宝珠は出力であるしさらに住み易い"が導かれる
8. 推論6と事実3から、推論7: "この花婿は開発史でない"が導かれる
9. 事実20から、推論8: "もし仮に「この花婿は開発史でない」ということは成り立つとすると保証出来る"が導かれる
10. 推論7と推論8から、推論9: "この花婿は保証出来る"が導かれる
11. 推論9と事実19から、仮説が導かれる

よって、仮説が証明されました。