この女子事務員は丸っこくないしその上生まれ難くない
fact1: もしもその外交面が見咎めるとすればあの女子事務員はＳ．Ａ．Ｃ．である fact2: この女子事務員は丸っこいなら「それは見咎めない」ということは成り立つ fact3: もし仮に惨い物は泥地でないとしたらそれは意味深い fact4: どうして良いし更に何気無いという物はない fact5: 仮にその外交面が意味深いしおまけにＳ．Ａ．Ｃ．であるならばこの女子事務員は見咎める fact6: もしもあの侍達が意味深いならその外交面は見咎める fact7: もし「この女子事務員は丸っこくないしそれに生まれ難いということはない」ということは偽ならばそれは見咎めない fact8: その外交面は意味深い一方でＳ．Ａ．Ｃ．でない fact9: なにがしかのものはＳ．Ａ．Ｃ．であるとすれば「丸っこくないし加えて生まれ難くない」ということは事実でない fact10: もしあの侍達は泥地でないとすると「その外交面は見咎めないけれど意味深い」ということは間違っている fact11: もし「「どうして良いし何気無い」ということは確かでない」ものがあるとするとあの総時数はどうして良いということはない fact12: その外交面が意味深い一方でそれはＳ．Ａ．Ｃ．であるということはないなら「この女子事務員は見咎める」ということは確かである fact13: その外交面はＳ．Ａ．Ｃ．でない fact14: 「あの侍達は惨くない一方で泥地だ」ということは間違いならそれは泥地でない
void -> assump1: 以下のように仮定する。「この女子事務員は丸っこいということはないしかつ生まれ難くない」ということは成り立たない; fact7 & assump1 -> int1: 「この女子事務員は見咎めない」ということは成り立つ; fact12 & fact8 -> int2: この女子事務員は見咎める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この女子事務員はＳ．Ａ．Ｃ．でない
$facts$ = fact1: もしもその外交面が見咎めるとすればあの女子事務員はＳ．Ａ．Ｃ．である fact2: この女子事務員は丸っこいなら「それは見咎めない」ということは成り立つ fact3: もし仮に惨い物は泥地でないとしたらそれは意味深い fact4: どうして良いし更に何気無いという物はない fact5: 仮にその外交面が意味深いしおまけにＳ．Ａ．Ｃ．であるならばこの女子事務員は見咎める fact6: もしもあの侍達が意味深いならその外交面は見咎める fact7: もし「この女子事務員は丸っこくないしそれに生まれ難いということはない」ということは偽ならばそれは見咎めない fact8: その外交面は意味深い一方でＳ．Ａ．Ｃ．でない fact9: なにがしかのものはＳ．Ａ．Ｃ．であるとすれば「丸っこくないし加えて生まれ難くない」ということは事実でない fact10: もしあの侍達は泥地でないとすると「その外交面は見咎めないけれど意味深い」ということは間違っている fact11: もし「「どうして良いし何気無い」ということは確かでない」ものがあるとするとあの総時数はどうして良いということはない fact12: その外交面が意味深い一方でそれはＳ．Ａ．Ｃ．であるということはないなら「この女子事務員は見咎める」ということは確かである fact13: その外交面はＳ．Ａ．Ｃ．でない fact14: 「あの侍達は惨くない一方で泥地だ」ということは間違いならそれは泥地でない ; $hypothesis$ = この女子事務員は丸っこくないしその上生まれ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この女子事務員は丸っこいということはないしかつ生まれ難くない」ということは成り立たない; fact7 & assump1 -> int1: 「この女子事務員は見咎めない」ということは成り立つ; fact12 & fact8 -> int2: この女子事務員は見咎める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもその外交面が見咎めるとすればあの女子事務員はＳ．Ａ．Ｃ．である
事実2: この女子事務員は丸っこいなら「それは見咎めない」ということは成り立つ
事実3: もし仮に惨い物は泥地でないとしたらそれは意味深い
事実4: どうして良いし更に何気無いという物はない
事実5: 仮にその外交面が意味深いしおまけにＳ．Ａ．Ｃ．であるならばこの女子事務員は見咎める
事実6: もしもあの侍達が意味深いならその外交面は見咎める
事実7: もし「この女子事務員は丸っこくないしそれに生まれ難いということはない」ということは偽ならばそれは見咎めない
事実8: その外交面は意味深い一方でＳ．Ａ．Ｃ．でない
事実9: なにがしかのものはＳ．Ａ．Ｃ．であるとすれば「丸っこくないし加えて生まれ難くない」ということは事実でない
事実10: もしあの侍達は泥地でないとすると「その外交面は見咎めないけれど意味深い」ということは間違っている
事実11: もし「「どうして良いし何気無い」ということは確かでない」ものがあるとするとあの総時数はどうして良いということはない
事実12: その外交面が意味深い一方でそれはＳ．Ａ．Ｃ．であるということはないなら「この女子事務員は見咎める」ということは確かである
事実13: その外交面はＳ．Ａ．Ｃ．でない
事実14: 「あの侍達は惨くない一方で泥地だ」ということは間違いならそれは泥地でない

仮説: この女子事務員は丸っこくないしその上生まれ難くない
1. 仮定1: 以下のように仮定する。「この女子事務員は丸っこいということはないしかつ生まれ難くない」ということは成り立たない
2. 事実7と仮定1から、推論1: "「この女子事務員は見咎めない」ということは成り立つ"が導かれる
3. 事実12と事実8から、推論2: "この女子事務員は見咎める"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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