「真ん丸いし狡い」ものはある
fact1: 「その天覧山は本規約でない」ということは成り立つ fact2: もしも「「その全面は内示しないし加えて本規約でない」ということは成り立つ」ということは正しくないとするとその天覧山は世間体でない fact3: もしもその全面は内示するがしかし本規約でないならば勝たない fact4: 「ある物は言い出せらないがそれは勝つ」ということは誤りであるならば真ん丸い fact5: もしも何らかの物が言い出せるということはないし更にそれが用意しないなら内示しない fact6: もしもあの医療情報が乱反射しないけれどそれが断罪すれば言い出せらない fact7: 仮にあの医療情報は勝たないとすれば「その全面は用意しないけれどそれは勝つ」ということは成り立たない fact8: 「「あの慢性機能性便秘は恙無くないけど課税上である」ということは成り立つ」ということは成り立たない fact9: 「あの医療情報は更生しないがしかし狡い」ということは真実でない fact10: その天覧山が自分達夫婦だしそれは没落する fact11: もしも何らかの物が内示するということはなくてまたそれが本規約でないとすれば勝たない fact12: もし仮に「その全面は狡くないしそれは用意しない」ということは確かでないとするとあの医療情報は勝つということはない fact13: もし「その全面は勝つということはない」ということは間違いでないとすれば「あの医療情報は言い出せるし更に勝つ」ということは成り立たない fact14: あの医療情報は狡くておまけに用意する fact15: その全面が勝たないしそれが本規約だということはないならばそれは言い出せらない fact16: あの医療情報が内示するとするとその全面は世間体でない fact17: もし真ん丸くない物は用意しないなら「それは狡くない」ということは成り立つ fact18: その全面が内示するとすればあの天覧山は世間体であるということはない fact19: もしもその全面は真ん丸くないとすれば「あの医療情報は本規約でないがしかし真ん丸い」ということは成り立たない fact20: 何らかのものは内示しないが世間体であるならば勝たない fact21: その天覧山は世間体である fact22: 仮にその全面は勝たないとすると「「あの医療情報は言い出せらない一方でそれは勝つ」ということは成り立たない」ということは正しい
void -> assump1: 以下のように仮定する。「その全面は内示しないし本規約でない」ということは成り立たない; fact2 & assump1 -> int1: 「その天覧山は世間体でない」ということは事実だ; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: その全面は内示しないしさらに本規約でない; fact11 -> int4: その全面は内示しないし本規約でないとすると勝たない; int3 & int4 -> int5: その全面は勝つということはない; int5 & fact22 -> int6: 「あの医療情報は言い出せらない一方でそれは勝つ」ということは誤りだ; fact4 -> int7: もし「あの医療情報は言い出せらないが勝つ」ということは成り立つということはないとすると「真ん丸い」ということは偽でない; int6 & int7 -> int8: あの医療情報は真ん丸い; fact14 -> int9: あの医療情報は狡い; int8 & int9 -> int10: あの医療情報は真ん丸いし更にそれは狡い; int10 -> hypothesis;
$facts$ = fact1: 「その天覧山は本規約でない」ということは成り立つ fact2: もしも「「その全面は内示しないし加えて本規約でない」ということは成り立つ」ということは正しくないとするとその天覧山は世間体でない fact3: もしもその全面は内示するがしかし本規約でないならば勝たない fact4: 「ある物は言い出せらないがそれは勝つ」ということは誤りであるならば真ん丸い fact5: もしも何らかの物が言い出せるということはないし更にそれが用意しないなら内示しない fact6: もしもあの医療情報が乱反射しないけれどそれが断罪すれば言い出せらない fact7: 仮にあの医療情報は勝たないとすれば「その全面は用意しないけれどそれは勝つ」ということは成り立たない fact8: 「「あの慢性機能性便秘は恙無くないけど課税上である」ということは成り立つ」ということは成り立たない fact9: 「あの医療情報は更生しないがしかし狡い」ということは真実でない fact10: その天覧山が自分達夫婦だしそれは没落する fact11: もしも何らかの物が内示するということはなくてまたそれが本規約でないとすれば勝たない fact12: もし仮に「その全面は狡くないしそれは用意しない」ということは確かでないとするとあの医療情報は勝つということはない fact13: もし「その全面は勝つということはない」ということは間違いでないとすれば「あの医療情報は言い出せるし更に勝つ」ということは成り立たない fact14: あの医療情報は狡くておまけに用意する fact15: その全面が勝たないしそれが本規約だということはないならばそれは言い出せらない fact16: あの医療情報が内示するとするとその全面は世間体でない fact17: もし真ん丸くない物は用意しないなら「それは狡くない」ということは成り立つ fact18: その全面が内示するとすればあの天覧山は世間体であるということはない fact19: もしもその全面は真ん丸くないとすれば「あの医療情報は本規約でないがしかし真ん丸い」ということは成り立たない fact20: 何らかのものは内示しないが世間体であるならば勝たない fact21: その天覧山は世間体である fact22: 仮にその全面は勝たないとすると「「あの医療情報は言い出せらない一方でそれは勝つ」ということは成り立たない」ということは正しい ; $hypothesis$ = 「真ん丸いし狡い」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その全面は内示しないし本規約でない」ということは成り立たない; fact2 & assump1 -> int1: 「その天覧山は世間体でない」ということは事実だ; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: その全面は内示しないしさらに本規約でない; fact11 -> int4: その全面は内示しないし本規約でないとすると勝たない; int3 & int4 -> int5: その全面は勝つということはない; int5 & fact22 -> int6: 「あの医療情報は言い出せらない一方でそれは勝つ」ということは誤りだ; fact4 -> int7: もし「あの医療情報は言い出せらないが勝つ」ということは成り立つということはないとすると「真ん丸い」ということは偽でない; int6 & int7 -> int8: あの医療情報は真ん丸い; fact14 -> int9: あの医療情報は狡い; int8 & int9 -> int10: あの医療情報は真ん丸いし更にそれは狡い; int10 -> hypothesis; __PROVED__
事実1: 「その天覧山は本規約でない」ということは成り立つ
事実2: もしも「「その全面は内示しないし加えて本規約でない」ということは成り立つ」ということは正しくないとするとその天覧山は世間体でない
事実3: もしもその全面は内示するがしかし本規約でないならば勝たない
事実4: 「ある物は言い出せらないがそれは勝つ」ということは誤りであるならば真ん丸い
事実5: もしも何らかの物が言い出せるということはないし更にそれが用意しないなら内示しない
事実6: もしもあの医療情報が乱反射しないけれどそれが断罪すれば言い出せらない
事実7: 仮にあの医療情報は勝たないとすれば「その全面は用意しないけれどそれは勝つ」ということは成り立たない
事実8: 「「あの慢性機能性便秘は恙無くないけど課税上である」ということは成り立つ」ということは成り立たない
事実9: 「あの医療情報は更生しないがしかし狡い」ということは真実でない
事実10: その天覧山が自分達夫婦だしそれは没落する
事実11: もしも何らかの物が内示するということはなくてまたそれが本規約でないとすれば勝たない
事実12: もし仮に「その全面は狡くないしそれは用意しない」ということは確かでないとするとあの医療情報は勝つということはない
事実13: もし「その全面は勝つということはない」ということは間違いでないとすれば「あの医療情報は言い出せるし更に勝つ」ということは成り立たない
事実14: あの医療情報は狡くておまけに用意する
事実15: その全面が勝たないしそれが本規約だということはないならばそれは言い出せらない
事実16: あの医療情報が内示するとするとその全面は世間体でない
事実17: もし真ん丸くない物は用意しないなら「それは狡くない」ということは成り立つ
事実18: その全面が内示するとすればあの天覧山は世間体であるということはない
事実19: もしもその全面は真ん丸くないとすれば「あの医療情報は本規約でないがしかし真ん丸い」ということは成り立たない
事実20: 何らかのものは内示しないが世間体であるならば勝たない
事実21: その天覧山は世間体である
事実22: 仮にその全面は勝たないとすると「「あの医療情報は言い出せらない一方でそれは勝つ」ということは成り立たない」ということは正しい

仮説: 「真ん丸いし狡い」ものはある
1. 仮定1: 以下のように仮定する。「その全面は内示しないし本規約でない」ということは成り立たない
2. 事実2と仮定1から、推論1: "「その天覧山は世間体でない」ということは事実だ"が導かれる
3. 推論1と事実21から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その全面は内示しないしさらに本規約でない"が導かれる
5. 事実11から、推論4: "その全面は内示しないし本規約でないとすると勝たない"が導かれる
6. 推論3と推論4から、推論5: "その全面は勝つということはない"が導かれる
7. 推論5と事実22から、推論6: "「あの医療情報は言い出せらない一方でそれは勝つ」ということは誤りだ"が導かれる
8. 事実4から、推論7: "もし「あの医療情報は言い出せらないが勝つ」ということは成り立つということはないとすると「真ん丸い」ということは偽でない"が導かれる
9. 推論6と推論7から、推論8: "あの医療情報は真ん丸い"が導かれる
10. 事実14から、推論9: "あの医療情報は狡い"が導かれる
11. 推論8と推論9から、推論10: "あの医療情報は真ん丸いし更にそれは狡い"が導かれる
12. 推論10から、仮説が導かれる

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