「もし仮に女の子らしくないなら「し易くないけど見苦しい」ということは間違いな」物はある
fact1: 「もし仮に女の子らしくないとするとし易くない一方で見苦しい」物はある fact2: 「温まらないとすれば「招集権でなくて眠い」ということは間違っている」物はある fact3: そのＰＰＰＯＥは撤回出来ないならば「それは見苦しくなくておまけに生み難い」ということは誤りだ fact4: 「仮に女の子らしいとしたら「「し易くない一方で見苦しい」ということは成り立つ」ということは偽な」ものはある fact5: 「仮にそのＰＰＰＯＥは女の子らしいということはないならば「そのＰＰＰＯＥはし易くないけど見苦しい」ということは誤りだ」ということは確かである fact6: もしそのＰＰＰＯＥは見苦しいということはないとしたら「ぶち切れない一方で分担する」ということは間違っている fact7: 仮にそのＰＰＰＯＥが女の子らしくないとすればそれはし易くないし見苦しい fact8: 「もし仮に疲労し易くないならば「商戦でないしさらに心憎い」ということは間違っている」物はある fact9: 「仮に渡り為さらないなら「悩み始めなくてその上冷め難い」ということは嘘である」物はある fact10: 「もし「女の子らしくない」ということは成り立てば「し易いしかつ見苦しい」ということは正しくない」ものはある fact11: 「もし仮に着せがましかないとすれば「湧き上がらないし付託する」ということは成り立たない」ものはある fact12: 「もし仮にこざっぱりしないとしたら「生み難くないしおまけに当該取り引きである」ということは誤っている」ものはある fact13: もしもそのＰＰＰＯＥは女の子らしいなら「し易いということはないけれど見苦しい」ということは嘘だ fact14: 仮になにかは天使らしくないとしたら「得難しないしまた女の子らしい」ということは嘘である fact15: 「描き切るということはないならば「浅しないけれどウンマである」ということは間違いである」ものはある fact16: もしもその後始末は撫でないとすると「し易くないが考慮す」ということは偽だ fact17: そのＰＰＰＯＥは女の子らしいということはないならば「それはし易いしまた見苦しい」ということは成り立たない fact18: 「もし押し殺さないなら「由々しないけど寄る辺無い」ということは偽な」ものはある
fact5 -> hypothesis;
fact5 -> hypothesis;
もしそのうろ覚えは天使らしくないならば「得難しないけど女の子らしい」ということは成り立たない
fact19 -> hypothesis;
$facts$ = fact1: 「もし仮に女の子らしくないとするとし易くない一方で見苦しい」物はある fact2: 「温まらないとすれば「招集権でなくて眠い」ということは間違っている」物はある fact3: そのＰＰＰＯＥは撤回出来ないならば「それは見苦しくなくておまけに生み難い」ということは誤りだ fact4: 「仮に女の子らしいとしたら「「し易くない一方で見苦しい」ということは成り立つ」ということは偽な」ものはある fact5: 「仮にそのＰＰＰＯＥは女の子らしいということはないならば「そのＰＰＰＯＥはし易くないけど見苦しい」ということは誤りだ」ということは確かである fact6: もしそのＰＰＰＯＥは見苦しいということはないとしたら「ぶち切れない一方で分担する」ということは間違っている fact7: 仮にそのＰＰＰＯＥが女の子らしくないとすればそれはし易くないし見苦しい fact8: 「もし仮に疲労し易くないならば「商戦でないしさらに心憎い」ということは間違っている」物はある fact9: 「仮に渡り為さらないなら「悩み始めなくてその上冷め難い」ということは嘘である」物はある fact10: 「もし「女の子らしくない」ということは成り立てば「し易いしかつ見苦しい」ということは正しくない」ものはある fact11: 「もし仮に着せがましかないとすれば「湧き上がらないし付託する」ということは成り立たない」ものはある fact12: 「もし仮にこざっぱりしないとしたら「生み難くないしおまけに当該取り引きである」ということは誤っている」ものはある fact13: もしもそのＰＰＰＯＥは女の子らしいなら「し易いということはないけれど見苦しい」ということは嘘だ fact14: 仮になにかは天使らしくないとしたら「得難しないしまた女の子らしい」ということは嘘である fact15: 「描き切るということはないならば「浅しないけれどウンマである」ということは間違いである」ものはある fact16: もしもその後始末は撫でないとすると「し易くないが考慮す」ということは偽だ fact17: そのＰＰＰＯＥは女の子らしいということはないならば「それはし易いしまた見苦しい」ということは成り立たない fact18: 「もし押し殺さないなら「由々しないけど寄る辺無い」ということは偽な」ものはある ; $hypothesis$ = 「もし仮に女の子らしくないなら「し易くないけど見苦しい」ということは間違いな」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に女の子らしくないとするとし易くない一方で見苦しい」物はある
事実2: 「温まらないとすれば「招集権でなくて眠い」ということは間違っている」物はある
事実3: そのＰＰＰＯＥは撤回出来ないならば「それは見苦しくなくておまけに生み難い」ということは誤りだ
事実4: 「仮に女の子らしいとしたら「「し易くない一方で見苦しい」ということは成り立つ」ということは偽な」ものはある
事実5: 「仮にそのＰＰＰＯＥは女の子らしいということはないならば「そのＰＰＰＯＥはし易くないけど見苦しい」ということは誤りだ」ということは確かである
事実6: もしそのＰＰＰＯＥは見苦しいということはないとしたら「ぶち切れない一方で分担する」ということは間違っている
事実7: 仮にそのＰＰＰＯＥが女の子らしくないとすればそれはし易くないし見苦しい
事実8: 「もし仮に疲労し易くないならば「商戦でないしさらに心憎い」ということは間違っている」物はある
事実9: 「仮に渡り為さらないなら「悩み始めなくてその上冷め難い」ということは嘘である」物はある
事実10: 「もし「女の子らしくない」ということは成り立てば「し易いしかつ見苦しい」ということは正しくない」ものはある
事実11: 「もし仮に着せがましかないとすれば「湧き上がらないし付託する」ということは成り立たない」ものはある
事実12: 「もし仮にこざっぱりしないとしたら「生み難くないしおまけに当該取り引きである」ということは誤っている」ものはある
事実13: もしもそのＰＰＰＯＥは女の子らしいなら「し易いということはないけれど見苦しい」ということは嘘だ
事実14: 仮になにかは天使らしくないとしたら「得難しないしまた女の子らしい」ということは嘘である
事実15: 「描き切るということはないならば「浅しないけれどウンマである」ということは間違いである」ものはある
事実16: もしもその後始末は撫でないとすると「し易くないが考慮す」ということは偽だ
事実17: そのＰＰＰＯＥは女の子らしいということはないならば「それはし易いしまた見苦しい」ということは成り立たない
事実18: 「もし押し殺さないなら「由々しないけど寄る辺無い」ということは偽な」ものはある

仮説: 「もし仮に女の子らしくないなら「し易くないけど見苦しい」ということは間違いな」物はある
1. 事実5から、仮説が導かれる

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