「「出出すということはなくて僅差だ」ということは成り立たない」ものはある
fact1: もし仮にこの手切れ金が出出すならこの社会的資源は発信機である fact2: 「この手切れ金は武装司書でない」ということは成り立つとすると「それは人並み以上であるし発信機である」ということは成り立たない fact3: 「この社会的資源は出出すししかも僅差である」ということは本当でない fact4: もしこの手切れ金が発信機であるならこの成果は厳しい fact5: この成果は卑しくない一方でそれは定む fact6: もし仮に「この社会的資源は武装司書だ」ということは誤りだということはないとすればこの手切れ金は定む fact7: なにがしかのものは出出すということはないが僅差である fact8: もし仮にこの社会的資源が定むとすればこのブランド製品は我等人類でない fact9: もし仮に「この社会的資源は僅差だ」ということは成り立つなら「それは物珍しい」ということは真実である fact10: もしもこの社会的資源は物珍しくないとすれば「厳しいしその上発信機でない」ということは偽だ fact11: この手切れ金は人並み以上であるかあるいは定むかまたは両方である fact12: もしも「この手切れ金は人並み以上である一方でそれは発信機でない」ということは成り立たないならこの成果は厳しい fact13: 何かは出出すとしたらそれはトウチーでない一方で僅差である fact14: もし仮にこの手切れ金は武装司書でないならば「人並み以上で発信機でない」ということは偽だ fact15: この手切れ金は武装司書でない fact16: 「この成果は厳しい」ということは真実であるとするとこのブランド製品は我等人類だ fact17: 仮にこの社会的資源が定むかそれが物珍しいか両方であるならばあのブランド製品は我等人類であるということはない fact18: この社会的資源は出出さない fact19: 「この手切れ金は人並み以上でしかも発信機だ」ということは成り立たない fact20: 「「出出すしさらに僅差だ」ということは成り立たない」物はある
void -> assump1: 以下のように仮定する。この社会的資源は出出すということはないけれど僅差である; assump1 -> int1: この社会的資源は僅差だ; int1 & fact9 -> int2: この社会的資源は物珍しい; int2 -> int3: この社会的資源は定むかまたはそれは物珍しいかまたは両方ともである; int3 & fact17 -> int4: このブランド製品は我等人類だということはない; fact15 & fact14 -> int5: 「この手切れ金は人並み以上であるけど発信機でない」ということは間違いだ; int5 & fact12 -> int6: この成果は厳しい; int6 & fact16 -> int7: このブランド製品は我等人類である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この社会的資源は出出さないがしかし僅差だ」ということは成り立たない; int9 -> hypothesis;
あの被験薬はトウチーだということはないがそれは僅差である
fact21 -> int10: もしあの被験薬が出出すとしたらそれはトウチーでない一方で僅差である;
$facts$ = fact1: もし仮にこの手切れ金が出出すならこの社会的資源は発信機である fact2: 「この手切れ金は武装司書でない」ということは成り立つとすると「それは人並み以上であるし発信機である」ということは成り立たない fact3: 「この社会的資源は出出すししかも僅差である」ということは本当でない fact4: もしこの手切れ金が発信機であるならこの成果は厳しい fact5: この成果は卑しくない一方でそれは定む fact6: もし仮に「この社会的資源は武装司書だ」ということは誤りだということはないとすればこの手切れ金は定む fact7: なにがしかのものは出出すということはないが僅差である fact8: もし仮にこの社会的資源が定むとすればこのブランド製品は我等人類でない fact9: もし仮に「この社会的資源は僅差だ」ということは成り立つなら「それは物珍しい」ということは真実である fact10: もしもこの社会的資源は物珍しくないとすれば「厳しいしその上発信機でない」ということは偽だ fact11: この手切れ金は人並み以上であるかあるいは定むかまたは両方である fact12: もしも「この手切れ金は人並み以上である一方でそれは発信機でない」ということは成り立たないならこの成果は厳しい fact13: 何かは出出すとしたらそれはトウチーでない一方で僅差である fact14: もし仮にこの手切れ金は武装司書でないならば「人並み以上で発信機でない」ということは偽だ fact15: この手切れ金は武装司書でない fact16: 「この成果は厳しい」ということは真実であるとするとこのブランド製品は我等人類だ fact17: 仮にこの社会的資源が定むかそれが物珍しいか両方であるならばあのブランド製品は我等人類であるということはない fact18: この社会的資源は出出さない fact19: 「この手切れ金は人並み以上でしかも発信機だ」ということは成り立たない fact20: 「「出出すしさらに僅差だ」ということは成り立たない」物はある ; $hypothesis$ = 「「出出すということはなくて僅差だ」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この社会的資源は出出すということはないけれど僅差である; assump1 -> int1: この社会的資源は僅差だ; int1 & fact9 -> int2: この社会的資源は物珍しい; int2 -> int3: この社会的資源は定むかまたはそれは物珍しいかまたは両方ともである; int3 & fact17 -> int4: このブランド製品は我等人類だということはない; fact15 & fact14 -> int5: 「この手切れ金は人並み以上であるけど発信機でない」ということは間違いだ; int5 & fact12 -> int6: この成果は厳しい; int6 & fact16 -> int7: このブランド製品は我等人類である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この社会的資源は出出さないがしかし僅差だ」ということは成り立たない; int9 -> hypothesis; __PROVED__
事実1: もし仮にこの手切れ金が出出すならこの社会的資源は発信機である
事実2: 「この手切れ金は武装司書でない」ということは成り立つとすると「それは人並み以上であるし発信機である」ということは成り立たない
事実3: 「この社会的資源は出出すししかも僅差である」ということは本当でない
事実4: もしこの手切れ金が発信機であるならこの成果は厳しい
事実5: この成果は卑しくない一方でそれは定む
事実6: もし仮に「この社会的資源は武装司書だ」ということは誤りだということはないとすればこの手切れ金は定む
事実7: なにがしかのものは出出すということはないが僅差である
事実8: もし仮にこの社会的資源が定むとすればこのブランド製品は我等人類でない
事実9: もし仮に「この社会的資源は僅差だ」ということは成り立つなら「それは物珍しい」ということは真実である
事実10: もしもこの社会的資源は物珍しくないとすれば「厳しいしその上発信機でない」ということは偽だ
事実11: この手切れ金は人並み以上であるかあるいは定むかまたは両方である
事実12: もしも「この手切れ金は人並み以上である一方でそれは発信機でない」ということは成り立たないならこの成果は厳しい
事実13: 何かは出出すとしたらそれはトウチーでない一方で僅差である
事実14: もし仮にこの手切れ金は武装司書でないならば「人並み以上で発信機でない」ということは偽だ
事実15: この手切れ金は武装司書でない
事実16: 「この成果は厳しい」ということは真実であるとするとこのブランド製品は我等人類だ
事実17: 仮にこの社会的資源が定むかそれが物珍しいか両方であるならばあのブランド製品は我等人類であるということはない
事実18: この社会的資源は出出さない
事実19: 「この手切れ金は人並み以上でしかも発信機だ」ということは成り立たない
事実20: 「「出出すしさらに僅差だ」ということは成り立たない」物はある

仮説: 「「出出すということはなくて僅差だ」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。この社会的資源は出出すということはないけれど僅差である
2. 仮定1から、推論1: "この社会的資源は僅差だ"が導かれる
3. 推論1と事実9から、推論2: "この社会的資源は物珍しい"が導かれる
4. 推論2から、推論3: "この社会的資源は定むかまたはそれは物珍しいかまたは両方ともである"が導かれる
5. 推論3と事実17から、推論4: "このブランド製品は我等人類だということはない"が導かれる
6. 事実15と事実14から、推論5: "「この手切れ金は人並み以上であるけど発信機でない」ということは間違いだ"が導かれる
7. 推論5と事実12から、推論6: "この成果は厳しい"が導かれる
8. 推論6と事実16から、推論7: "このブランド製品は我等人類である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この社会的資源は出出さないがしかし僅差だ」ということは成り立たない"が導かれる
11. 推論9から、仮説が導かれる

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