この首席補佐官はアンチエイジングだ
fact1: 仮に「ある物は救い難くないし加えて触れ合えない」ということは偽であるならば対応し易い fact2: もしも何らかの物が女々しいということはないとすればアンチエイジングでないか執行債務者である fact3: もし「この首席補佐官は執行債務者でない」ということは正しいとすると「それは浅しないしそれは幼稚舎生でない」ということは事実と異なる fact4: もし仮にその寄与が執行債務者であるけれどそれはアンチエイジングでないとしたら「この首席補佐官はアンチエイジングでない」ということは本当である fact5: 仮にこの首席補佐官は執行債務者でないとしたら「浅ししさらにそれは幼稚舎生でない」ということは成り立たない fact6: もしもその二十一世紀福祉ビジョンは掛け渡さないならば「それは寝苦しくないし女々しかない」ということは誤っている fact7: 「この杆体は浅しない」ということは本当である fact8: なにかはアンチエイジングでないか執行債務者であるか両方であるとすればアンチエイジングでない fact9: この首席補佐官は濃くない fact10: あの参入障壁は執行債務者だ fact11: もし「この首席補佐官は浅し」ということは成り立つとすればそれはアンチエイジングだ fact12: もしなんらかの物が汚らしいとすればそれは泥臭い fact13: もしも「なにがしかの物は浅しないしおまけに幼稚舎生でない」ということは事実と異なればそれはアンチエイジングだ fact14: この首席補佐官は否定し難い fact15: 浅しものはアンチエイジングである fact16: 「この首席補佐官は浅しがそれは幼稚舎生でない」ということは成り立たない fact17: この首席補佐官は野太くない fact18: あの俘囚は猫ちゃんでないとしたら「執行債務者でなくてそれはアプローチし易くない」ということは嘘である fact19: この熱っぽさは執行債務者だ fact20: この首席補佐官は執行債務者でない fact21: 「もしもその寄与が騙され易くないならばその寄与は汚らしいけど立憲でない」ということは成り立つ fact22: もしその寄与が泥臭いとすればあの首席補佐官は分解でないし加えて女々しかない
fact13 -> int1: もし「この首席補佐官は浅しないし幼稚舎生でない」ということは間違いであるとするとそれはアンチエイジングだ; fact3 & fact20 -> int2: 「「この首席補佐官は浅しないし加えて幼稚舎生でない」ということは偽である」ということは正しい; int1 & int2 -> hypothesis;
この首席補佐官はアンチエイジングでない
fact24 -> int3: この首席補佐官がアンチエイジングでないかまたは執行債務者であるか両方であるとするとそれはアンチエイジングでない; fact27 -> int4: 仮に「この首席補佐官は女々しかない」ということは本当ならばアンチエイジングでないかあるいは執行債務者であるかもしくはどちらもである; fact25 -> int5: もし仮にその寄与が汚らしいならばそれは泥臭い;
$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$ = 
fact13 -> int1: もし「この首席補佐官は浅しないし幼稚舎生でない」ということは間違いであるとするとそれはアンチエイジングだ; fact3 & fact20 -> int2: 「「この首席補佐官は浅しないし加えて幼稚舎生でない」ということは偽である」ということは正しい; int1 & int2 -> 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. 事実13から、推論1: "もし「この首席補佐官は浅しないし幼稚舎生でない」ということは間違いであるとするとそれはアンチエイジングだ"が導かれる
2. 事実3と事実20から、推論2: "「「この首席補佐官は浅しないし加えて幼稚舎生でない」ということは偽である」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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