この会社関係者は初々しいけれどクラス全体でない
fact1: もし仮にこの本講義が感慨深くないならばこの礼服は感慨深いけれどそれは悍ましかない fact2: 初々しいし更に感慨深くないものは文書記録であるということはない fact3: この本講義は悍ましかない fact4: この圧迫方隊は限り無くない fact5: もし仮にこの会社関係者が初々しかないとするとこの逆語は初々しいけど文書記録でない fact6: もし仮に感慨深いものが悍ましいということはないならばそれは初々しかない fact7: 仮にこの本講義が限り無くないとしたらそれは悍ましかない fact8: 見え難いクラス全体は限り無くない fact9: 仮になにがしかの物は真社会性である一方で初々しかないとすればそれは限り無くない fact10: この逆語は判夕だ fact11: 心深し物は偏位するけれど感慨深くない fact12: もしこの礼服が初々しかないならこの会社関係者は初々しいけれどクラス全体だということはない fact13: もし仮に「この逆語は判夕でない」ということは誤りだとするとこの本講義は見え難い fact14: 仮に「この本講義は七州でなくて招来しない」ということは偽だとすればそれはクラス全体である fact15: もし仮にこの本講義が感慨深いとすればこの逆語は真社会性でないが文書記録だ fact16: この圧迫方隊は見え難いがしかし感慨深くない fact17: 「この逆語は見え難くない」ということは確かである fact18: もし仮にこの圧迫方隊が初々しかないとするとこの礼服は初々しい fact19: 限り無くないかまたは見え難くないものは心深し fact20: この本講義は文書記録でない fact21: もし仮にこの逆語が真社会性であるということはない一方でそれが文書記録であるならばこの圧迫方隊は心深しということはない fact22: 仮に限り無いものが見え難くないならば文書記録でない
void -> assump1: 以下のように仮定する。この本講義は感慨深い; fact15 & assump1 -> int1: この逆語は真社会性でないがしかしそれは文書記録である; int1 & fact21 -> int2: この圧迫方隊は心深くない; fact19 -> int3: もしもこの圧迫方隊が限り無くないかまたは見え難いということはないか両方であるならば心深し; fact4 -> int4: この圧迫方隊は限り無くないか見え難いということはない; int3 & int4 -> int5: この圧迫方隊は心深し; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この本講義は感慨深いということはない; int7 & fact1 -> int8: この礼服は感慨深い一方で悍ましかない; fact6 -> int9: もしもこの礼服は感慨深い一方で悍ましかないならばそれは初々しかない; int8 & int9 -> int10: 「この礼服は初々しかない」ということは成り立つ; int10 & fact12 -> hypothesis;
この単振動は偏位するけれど感慨深いということはない
fact26 -> int11: 仮にこの単振動が心深しならばそれは偏位するし感慨深くない; fact23 -> int12: もしこの本講義はクラス全体であるし見え難いとすると「限り無くない」ということは正しい; fact27 & fact25 -> int13: この本講義は見え難い;
$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: 以下のように仮定する。この本講義は感慨深い; fact15 & assump1 -> int1: この逆語は真社会性でないがしかしそれは文書記録である; int1 & fact21 -> int2: この圧迫方隊は心深くない; fact19 -> int3: もしもこの圧迫方隊が限り無くないかまたは見え難いということはないか両方であるならば心深し; fact4 -> int4: この圧迫方隊は限り無くないか見え難いということはない; int3 & int4 -> int5: この圧迫方隊は心深し; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この本講義は感慨深いということはない; int7 & fact1 -> int8: この礼服は感慨深い一方で悍ましかない; fact6 -> int9: もしもこの礼服は感慨深い一方で悍ましかないならばそれは初々しかない; int8 & int9 -> int10: 「この礼服は初々しかない」ということは成り立つ; int10 & fact12 -> 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. 事実15と仮定1から、推論1: "この逆語は真社会性でないがしかしそれは文書記録である"が導かれる
3. 推論1と事実21から、推論2: "この圧迫方隊は心深くない"が導かれる
4. 事実19から、推論3: "もしもこの圧迫方隊が限り無くないかまたは見え難いということはないか両方であるならば心深し"が導かれる
5. 事実4から、推論4: "この圧迫方隊は限り無くないか見え難いということはない"が導かれる
6. 推論3と推論4から、推論5: "この圧迫方隊は心深し"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この本講義は感慨深いということはない"が導かれる
9. 推論7と事実1から、推論8: "この礼服は感慨深い一方で悍ましかない"が導かれる
10. 事実6から、推論9: "もしもこの礼服は感慨深い一方で悍ましかないならばそれは初々しかない"が導かれる
11. 推論8と推論9から、推論10: "「この礼服は初々しかない」ということは成り立つ"が導かれる
12. 推論10と事実12から、仮説が導かれる

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