「もし「城郭都市であるということはないか主流派であるかまたは両方だ」ということは嘘だとすれば丸くない」ものはある
fact1: もし仮にこの業務全般が暑くないかもしくは苛立たしいかもしくは両方ともならば城郭都市でない fact2: 「「もし握り込まないかもしくはオーバーフローするかもしくはどちらもであるならば随時であるということはない」ものはある」ということは本当だ fact3: 「もし嘆き悲しまないかまたは赤っぽいとすると取り交わさない」ものはある fact4: 「とあるものは城郭都市でないか主流派であるか両方である」ということは確かでないとすれば丸い fact5: 「もし仮に制御しないか真っ白いかまたは両方ともであるならば挙国一致でない」ものはある fact6: 「「もし城郭都市でないか主流派であるか両方であるなら丸いということはない」物はある」ということは本当だ fact7: もし「何らかの物は城郭都市でないかあるいは主流派であるかあるいは両方だ」ということは偽であるとしたらそれは丸いということはない fact8: もし仮に「なんらかの物は動かし難くないかあるいは城郭都市であるかどちらもだ」ということは事実でないとすればそれは垂れ下がらない fact9: もし仮に「なにがしかの物は緩み易いかまたは性分らしい」ということは偽であるなら暑くない
fact7 -> int1: 仮に「この業務全般は城郭都市でないかまたは主流派であるかあるいは両方である」ということは成り立たないとしたら丸いということはない; int1 -> hypothesis;
もし仮に「この米食は動かし難くないかあるいは城郭都市であるかまたはどちらもだ」ということは成り立つということはないならば垂れ下がらない
fact10 -> hypothesis;
$facts$ = fact1: もし仮にこの業務全般が暑くないかもしくは苛立たしいかもしくは両方ともならば城郭都市でない fact2: 「「もし握り込まないかもしくはオーバーフローするかもしくはどちらもであるならば随時であるということはない」ものはある」ということは本当だ fact3: 「もし嘆き悲しまないかまたは赤っぽいとすると取り交わさない」ものはある fact4: 「とあるものは城郭都市でないか主流派であるか両方である」ということは確かでないとすれば丸い fact5: 「もし仮に制御しないか真っ白いかまたは両方ともであるならば挙国一致でない」ものはある fact6: 「「もし城郭都市でないか主流派であるか両方であるなら丸いということはない」物はある」ということは本当だ fact7: もし「何らかの物は城郭都市でないかあるいは主流派であるかあるいは両方だ」ということは偽であるとしたらそれは丸いということはない fact8: もし仮に「なんらかの物は動かし難くないかあるいは城郭都市であるかどちらもだ」ということは事実でないとすればそれは垂れ下がらない fact9: もし仮に「なにがしかの物は緩み易いかまたは性分らしい」ということは偽であるなら暑くない ; $hypothesis$ = 「もし「城郭都市であるということはないか主流派であるかまたは両方だ」ということは嘘だとすれば丸くない」ものはある ; $proof$ = 
fact7 -> int1: 仮に「この業務全般は城郭都市でないかまたは主流派であるかあるいは両方である」ということは成り立たないとしたら丸いということはない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの業務全般が暑くないかもしくは苛立たしいかもしくは両方ともならば城郭都市でない
事実2: 「「もし握り込まないかもしくはオーバーフローするかもしくはどちらもであるならば随時であるということはない」ものはある」ということは本当だ
事実3: 「もし嘆き悲しまないかまたは赤っぽいとすると取り交わさない」ものはある
事実4: 「とあるものは城郭都市でないか主流派であるか両方である」ということは確かでないとすれば丸い
事実5: 「もし仮に制御しないか真っ白いかまたは両方ともであるならば挙国一致でない」ものはある
事実6: 「「もし城郭都市でないか主流派であるか両方であるなら丸いということはない」物はある」ということは本当だ
事実7: もし「何らかの物は城郭都市でないかあるいは主流派であるかあるいは両方だ」ということは偽であるとしたらそれは丸いということはない
事実8: もし仮に「なんらかの物は動かし難くないかあるいは城郭都市であるかどちらもだ」ということは事実でないとすればそれは垂れ下がらない
事実9: もし仮に「なにがしかの物は緩み易いかまたは性分らしい」ということは偽であるなら暑くない

仮説: 「もし「城郭都市であるということはないか主流派であるかまたは両方だ」ということは嘘だとすれば丸くない」ものはある
1. 事実7から、推論1: "仮に「この業務全般は城郭都市でないかまたは主流派であるかあるいは両方である」ということは成り立たないとしたら丸いということはない"が導かれる
2. 推論1から、仮説が導かれる

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