「久しない」物はある
fact1: この社会構成は起立しない fact2: もし仮に「その鈍感さは起立しなくてしかもべとべとしない」ということは成り立たないとすればこの第一集は久しということはない fact3: この第一集が多核であるかまたは久しとすればあの社会構成はべとべとしない fact4: 「この第一集は久しけれど躊躇わない」ということは成り立たない fact5: この第一集は起立しない fact6: もし仮にあの最遠はべとべとしないとしたら「その鈍感さは起立しないしべとべとしない」ということは嘘である fact7: あの最遠がべとべとするかまたは見給うとするとこの社会構成は多核でない fact8: この社会構成は躊躇う fact9: 「その鈍感さは躊躇わない」ということは確かである fact10: そのヘリウムは躊躇う fact11: もしこの社会構成が躊躇うとすると多核だ
void -> assump1: 以下のように仮定する。あの最遠はべとべとする; assump1 -> int1: あの最遠はべとべとするかもしくは見給うかもしくは両方ともである; int1 & fact7 -> int2: この社会構成は多核でない; fact8 & fact11 -> int3: この社会構成は多核である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの最遠はべとべとしない; int5 & fact6 -> int6: 「その鈍感さは起立しないしべとべとしない」ということは成り立つということはない; int6 & fact2 -> int7: この第一集は久しない; int7 -> hypothesis;
$facts$ = fact1: この社会構成は起立しない fact2: もし仮に「その鈍感さは起立しなくてしかもべとべとしない」ということは成り立たないとすればこの第一集は久しということはない fact3: この第一集が多核であるかまたは久しとすればあの社会構成はべとべとしない fact4: 「この第一集は久しけれど躊躇わない」ということは成り立たない fact5: この第一集は起立しない fact6: もし仮にあの最遠はべとべとしないとしたら「その鈍感さは起立しないしべとべとしない」ということは嘘である fact7: あの最遠がべとべとするかまたは見給うとするとこの社会構成は多核でない fact8: この社会構成は躊躇う fact9: 「その鈍感さは躊躇わない」ということは確かである fact10: そのヘリウムは躊躇う fact11: もしこの社会構成が躊躇うとすると多核だ ; $hypothesis$ = 「久しない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの最遠はべとべとする; assump1 -> int1: あの最遠はべとべとするかもしくは見給うかもしくは両方ともである; int1 & fact7 -> int2: この社会構成は多核でない; fact8 & fact11 -> int3: この社会構成は多核である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの最遠はべとべとしない; int5 & fact6 -> int6: 「その鈍感さは起立しないしべとべとしない」ということは成り立つということはない; int6 & fact2 -> int7: この第一集は久しない; int7 -> hypothesis; __PROVED__
事実1: この社会構成は起立しない
事実2: もし仮に「その鈍感さは起立しなくてしかもべとべとしない」ということは成り立たないとすればこの第一集は久しということはない
事実3: この第一集が多核であるかまたは久しとすればあの社会構成はべとべとしない
事実4: 「この第一集は久しけれど躊躇わない」ということは成り立たない
事実5: この第一集は起立しない
事実6: もし仮にあの最遠はべとべとしないとしたら「その鈍感さは起立しないしべとべとしない」ということは嘘である
事実7: あの最遠がべとべとするかまたは見給うとするとこの社会構成は多核でない
事実8: この社会構成は躊躇う
事実9: 「その鈍感さは躊躇わない」ということは確かである
事実10: そのヘリウムは躊躇う
事実11: もしこの社会構成が躊躇うとすると多核だ

仮説: 「久しない」物はある
1. 仮定1: 以下のように仮定する。あの最遠はべとべとする
2. 仮定1から、推論1: "あの最遠はべとべとするかもしくは見給うかもしくは両方ともである"が導かれる
3. 推論1と事実7から、推論2: "この社会構成は多核でない"が導かれる
4. 事実8と事実11から、推論3: "この社会構成は多核である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの最遠はべとべとしない"が導かれる
7. 推論5と事実6から、推論6: "「その鈍感さは起立しないしべとべとしない」ということは成り立つということはない"が導かれる
8. 推論6と事実2から、推論7: "この第一集は久しない"が導かれる
9. 推論7から、仮説が導かれる

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