「その五・一五事件は犯し難くない」ということは事実だ
fact1: 「その触角は全額回収不能でないけどそれは頼もしい」ということは成り立たない fact2: もし仮に「「あの指は神書でないかあるいは指導層であるかまたは両方ともだ」ということは成り立つ」ということは成り立たないとすると全額回収不能であるということはない fact3: 仮にそのコンプライアンス・プログラムは作成すらないとすれば「あの指は犯し難いということはないけれど猛暑だ」ということは誤っている fact4: 「あの指は拙くないかまたは指導層でないかあるいは両方である」ということは本当であるということはないとすると作成すらない fact5: もし「「全額回収不能でないし頼もしい」ということは成り立つということはない」物があるならそのコンプライアンス・プログラムは全額回収不能だ fact6: あの指は拙くないかあるいは指導層であるかもしくは両方だ fact7: 「あの指は指導層でないけどそれは犯し難い」ということは事実だということはない fact8: もし仮になにがしかの物が作成すらないとするとそれは神書でなくて猛暑でない fact9: もし仮にあの指が拙くないかもしくは指導層でないかもしくは両方であるならばあの五・一五事件は犯し難くない fact10: もしもなにかは拡大再生産しないとしたらそれは相反定理でない fact11: 仮にあのウイルス性肺炎が作成すらないなら回りくどくない fact12: あの呉姉妹は拙くないかあるいはステップするかもしくは両方ともだ fact13: そのコンプライアンス・プログラムは指導層でない fact14: あの指が全額回収不能でないならばそのコンプライアンス・プログラムは拙くない fact15: 「「スコアラーでない一方でごつい」ということは嘘である」物はある fact16: とある物が神書でないし更に猛暑でないとするとそのコンプライアンス・プログラムは全額回収不能でない
void -> assump1: 以下のように仮定する。「あの指は拙くないかあるいは指導層でないかあるいは両方である」ということは間違いだ; fact4 & assump1 -> int1: あの指は作成すらない; fact8 -> int2: もしも「あの指は作成すらない」ということは成り立てばそれは神書でないしそれは猛暑でない; int1 & int2 -> int3: あの指は神書であるということはないし加えてそれは猛暑でない; int3 -> int4: 「神書でなくておまけに猛暑でない」ものはある; int4 & fact16 -> int5: そのコンプライアンス・プログラムは全額回収不能でない; fact1 -> int6: 「「全額回収不能でないがしかし頼もしい」ということは成り立たない」物はある; int6 & fact5 -> int7: そのコンプライアンス・プログラムは全額回収不能だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの指は拙くないかまたはそれは指導層でないかまたはどちらもである; int9 & fact9 -> hypothesis;
その五・一五事件は犯し難い
$facts$ = fact1: 「その触角は全額回収不能でないけどそれは頼もしい」ということは成り立たない fact2: もし仮に「「あの指は神書でないかあるいは指導層であるかまたは両方ともだ」ということは成り立つ」ということは成り立たないとすると全額回収不能であるということはない fact3: 仮にそのコンプライアンス・プログラムは作成すらないとすれば「あの指は犯し難いということはないけれど猛暑だ」ということは誤っている fact4: 「あの指は拙くないかまたは指導層でないかあるいは両方である」ということは本当であるということはないとすると作成すらない fact5: もし「「全額回収不能でないし頼もしい」ということは成り立つということはない」物があるならそのコンプライアンス・プログラムは全額回収不能だ fact6: あの指は拙くないかあるいは指導層であるかもしくは両方だ fact7: 「あの指は指導層でないけどそれは犯し難い」ということは事実だということはない fact8: もし仮になにがしかの物が作成すらないとするとそれは神書でなくて猛暑でない fact9: もし仮にあの指が拙くないかもしくは指導層でないかもしくは両方であるならばあの五・一五事件は犯し難くない fact10: もしもなにかは拡大再生産しないとしたらそれは相反定理でない fact11: 仮にあのウイルス性肺炎が作成すらないなら回りくどくない fact12: あの呉姉妹は拙くないかあるいはステップするかもしくは両方ともだ fact13: そのコンプライアンス・プログラムは指導層でない fact14: あの指が全額回収不能でないならばそのコンプライアンス・プログラムは拙くない fact15: 「「スコアラーでない一方でごつい」ということは嘘である」物はある fact16: とある物が神書でないし更に猛暑でないとするとそのコンプライアンス・プログラムは全額回収不能でない ; $hypothesis$ = 「その五・一五事件は犯し難くない」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの指は拙くないかあるいは指導層でないかあるいは両方である」ということは間違いだ; fact4 & assump1 -> int1: あの指は作成すらない; fact8 -> int2: もしも「あの指は作成すらない」ということは成り立てばそれは神書でないしそれは猛暑でない; int1 & int2 -> int3: あの指は神書であるということはないし加えてそれは猛暑でない; int3 -> int4: 「神書でなくておまけに猛暑でない」ものはある; int4 & fact16 -> int5: そのコンプライアンス・プログラムは全額回収不能でない; fact1 -> int6: 「「全額回収不能でないがしかし頼もしい」ということは成り立たない」物はある; int6 & fact5 -> int7: そのコンプライアンス・プログラムは全額回収不能だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの指は拙くないかまたはそれは指導層でないかまたはどちらもである; int9 & fact9 -> hypothesis; __PROVED__
事実1: 「その触角は全額回収不能でないけどそれは頼もしい」ということは成り立たない
事実2: もし仮に「「あの指は神書でないかあるいは指導層であるかまたは両方ともだ」ということは成り立つ」ということは成り立たないとすると全額回収不能であるということはない
事実3: 仮にそのコンプライアンス・プログラムは作成すらないとすれば「あの指は犯し難いということはないけれど猛暑だ」ということは誤っている
事実4: 「あの指は拙くないかまたは指導層でないかあるいは両方である」ということは本当であるということはないとすると作成すらない
事実5: もし「「全額回収不能でないし頼もしい」ということは成り立つということはない」物があるならそのコンプライアンス・プログラムは全額回収不能だ
事実6: あの指は拙くないかあるいは指導層であるかもしくは両方だ
事実7: 「あの指は指導層でないけどそれは犯し難い」ということは事実だということはない
事実8: もし仮になにがしかの物が作成すらないとするとそれは神書でなくて猛暑でない
事実9: もし仮にあの指が拙くないかもしくは指導層でないかもしくは両方であるならばあの五・一五事件は犯し難くない
事実10: もしもなにかは拡大再生産しないとしたらそれは相反定理でない
事実11: 仮にあのウイルス性肺炎が作成すらないなら回りくどくない
事実12: あの呉姉妹は拙くないかあるいはステップするかもしくは両方ともだ
事実13: そのコンプライアンス・プログラムは指導層でない
事実14: あの指が全額回収不能でないならばそのコンプライアンス・プログラムは拙くない
事実15: 「「スコアラーでない一方でごつい」ということは嘘である」物はある
事実16: とある物が神書でないし更に猛暑でないとするとそのコンプライアンス・プログラムは全額回収不能でない

仮説: 「その五・一五事件は犯し難くない」ということは事実だ
1. 仮定1: 以下のように仮定する。「あの指は拙くないかあるいは指導層でないかあるいは両方である」ということは間違いだ
2. 事実4と仮定1から、推論1: "あの指は作成すらない"が導かれる
3. 事実8から、推論2: "もしも「あの指は作成すらない」ということは成り立てばそれは神書でないしそれは猛暑でない"が導かれる
4. 推論1と推論2から、推論3: "あの指は神書であるということはないし加えてそれは猛暑でない"が導かれる
5. 推論3から、推論4: "「神書でなくておまけに猛暑でない」ものはある"が導かれる
6. 推論4と事実16から、推論5: "そのコンプライアンス・プログラムは全額回収不能でない"が導かれる
7. 事実1から、推論6: "「「全額回収不能でないがしかし頼もしい」ということは成り立たない」物はある"が導かれる
8. 推論6と事実5から、推論7: "そのコンプライアンス・プログラムは全額回収不能だ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの指は拙くないかまたはそれは指導層でないかまたはどちらもである"が導かれる
11. 推論9と事実9から、仮説が導かれる

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