この危機的状況がコード体系だしさらにそれは風刺する
fact1: もしもこの危機的状況は予想損失額でないならば「それは負け越す」ということは事実だ fact2: この危機的状況は理解力だということはない fact3: 「血腥い」ものはある fact4: もしもこの危機的状況は肯認するとすると「それは予想損失額である」ということは真実だ fact5: もし仮にその毛針釣りが血腥い一方で予想損失額でないとするとあのインテーク面接は血腥くない fact6: この長距離走は一昨だ fact7: 仮にこの危機的状況が生かし切れるということはないならば予想損失額であるしかつそれはコード体系である fact8: もしなにかは生かし切れないなら「それは肯認するということはなくてコード体系である」ということは成り立たない fact9: この危機的状況は予想損失額であるということはない fact10: 仮になにかは血腥くないならば「それはずきずきするし生かし切れる」ということは誤りである fact11: 「この危機的状況は理解力であるし更にコード体系である」ということは偽である fact12: 仮に「「肯認しないけれどコード体系である」ということは事実でない」物があるならその遊離縁はコード体系でない fact13: もしその遊離縁は肯認すれば「それは生かし切れる」ということは本当である fact14: もし仮にこの雄蕊が風刺しないとしたらずきずきするし肯認する fact15: 仮にこの危機的状況は予想損失額であるということはないとすれば風刺するしおまけに負け越す fact16: なにがしかのものは負け越さない fact17: もしも「あのインテーク面接はずきずきするし生かし切れる」ということは嘘ならこの雄蕊は生かし切れない fact18: この危機的状況は負け越す fact19: 「その遊離縁は理解力でないけど立て易い」ということは間違いだ fact20: あの湯沸かし器は理解力だ fact21: もしも血腥いものがあるならこの雄蕊はずきずきしない fact22: もしその遊離縁が生かし切れるとするとこの雄蕊はずきずきする fact23: 「「この危機的状況は理解力であるということはないがしかしコード体系である」ということは確かだ」ということは誤りならばあの遊離縁は肯認する fact24: 仮にこの危機的状況が理解力であるとするとその遊離縁は肯認する
void -> assump1: 以下のように仮定する。「この危機的状況は理解力でないけれどそれはコード体系である」ということは確かでない; fact23 & assump1 -> int1: その遊離縁は肯認する; int1 & fact13 -> int2: その遊離縁は生かし切れる; int2 & fact22 -> int3: この雄蕊はずきずきする; fact21 & fact3 -> int4: この雄蕊はずきずきしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この危機的状況は理解力でないけどコード体系である; int6 -> int7: この危機的状況はコード体系である; fact9 & fact15 -> int8: この危機的状況は風刺するしそれは負け越す; int8 -> int9: この危機的状況は風刺する; int7 & int9 -> hypothesis;
「この危機的状況はコード体系で更にそれは風刺する」ということは誤っている
fact29 -> int10: もし仮にこの雄蕊は生かし切れないなら「それは肯認するということはない一方でコード体系である」ということは成り立たない; fact25 -> int11: もしあのインテーク面接は血腥くないとしたら「それはずきずきするしまた生かし切れる」ということは成り立たない;
$facts$ = fact1: もしもこの危機的状況は予想損失額でないならば「それは負け越す」ということは事実だ fact2: この危機的状況は理解力だということはない fact3: 「血腥い」ものはある fact4: もしもこの危機的状況は肯認するとすると「それは予想損失額である」ということは真実だ fact5: もし仮にその毛針釣りが血腥い一方で予想損失額でないとするとあのインテーク面接は血腥くない fact6: この長距離走は一昨だ fact7: 仮にこの危機的状況が生かし切れるということはないならば予想損失額であるしかつそれはコード体系である fact8: もしなにかは生かし切れないなら「それは肯認するということはなくてコード体系である」ということは成り立たない fact9: この危機的状況は予想損失額であるということはない fact10: 仮になにかは血腥くないならば「それはずきずきするし生かし切れる」ということは誤りである fact11: 「この危機的状況は理解力であるし更にコード体系である」ということは偽である fact12: 仮に「「肯認しないけれどコード体系である」ということは事実でない」物があるならその遊離縁はコード体系でない fact13: もしその遊離縁は肯認すれば「それは生かし切れる」ということは本当である fact14: もし仮にこの雄蕊が風刺しないとしたらずきずきするし肯認する fact15: 仮にこの危機的状況は予想損失額であるということはないとすれば風刺するしおまけに負け越す fact16: なにがしかのものは負け越さない fact17: もしも「あのインテーク面接はずきずきするし生かし切れる」ということは嘘ならこの雄蕊は生かし切れない fact18: この危機的状況は負け越す fact19: 「その遊離縁は理解力でないけど立て易い」ということは間違いだ fact20: あの湯沸かし器は理解力だ fact21: もしも血腥いものがあるならこの雄蕊はずきずきしない fact22: もしその遊離縁が生かし切れるとするとこの雄蕊はずきずきする fact23: 「「この危機的状況は理解力であるということはないがしかしコード体系である」ということは確かだ」ということは誤りならばあの遊離縁は肯認する fact24: 仮にこの危機的状況が理解力であるとするとその遊離縁は肯認する ; $hypothesis$ = この危機的状況がコード体系だしさらにそれは風刺する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この危機的状況は理解力でないけれどそれはコード体系である」ということは確かでない; fact23 & assump1 -> int1: その遊離縁は肯認する; int1 & fact13 -> int2: その遊離縁は生かし切れる; int2 & fact22 -> int3: この雄蕊はずきずきする; fact21 & fact3 -> int4: この雄蕊はずきずきしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この危機的状況は理解力でないけどコード体系である; int6 -> int7: この危機的状況はコード体系である; fact9 & fact15 -> int8: この危機的状況は風刺するしそれは負け越す; int8 -> int9: この危機的状況は風刺する; int7 & int9 -> hypothesis; __PROVED__
事実1: もしもこの危機的状況は予想損失額でないならば「それは負け越す」ということは事実だ
事実2: この危機的状況は理解力だということはない
事実3: 「血腥い」ものはある
事実4: もしもこの危機的状況は肯認するとすると「それは予想損失額である」ということは真実だ
事実5: もし仮にその毛針釣りが血腥い一方で予想損失額でないとするとあのインテーク面接は血腥くない
事実6: この長距離走は一昨だ
事実7: 仮にこの危機的状況が生かし切れるということはないならば予想損失額であるしかつそれはコード体系である
事実8: もしなにかは生かし切れないなら「それは肯認するということはなくてコード体系である」ということは成り立たない
事実9: この危機的状況は予想損失額であるということはない
事実10: 仮になにかは血腥くないならば「それはずきずきするし生かし切れる」ということは誤りである
事実11: 「この危機的状況は理解力であるし更にコード体系である」ということは偽である
事実12: 仮に「「肯認しないけれどコード体系である」ということは事実でない」物があるならその遊離縁はコード体系でない
事実13: もしその遊離縁は肯認すれば「それは生かし切れる」ということは本当である
事実14: もし仮にこの雄蕊が風刺しないとしたらずきずきするし肯認する
事実15: 仮にこの危機的状況は予想損失額であるということはないとすれば風刺するしおまけに負け越す
事実16: なにがしかのものは負け越さない
事実17: もしも「あのインテーク面接はずきずきするし生かし切れる」ということは嘘ならこの雄蕊は生かし切れない
事実18: この危機的状況は負け越す
事実19: 「その遊離縁は理解力でないけど立て易い」ということは間違いだ
事実20: あの湯沸かし器は理解力だ
事実21: もしも血腥いものがあるならこの雄蕊はずきずきしない
事実22: もしその遊離縁が生かし切れるとするとこの雄蕊はずきずきする
事実23: 「「この危機的状況は理解力であるということはないがしかしコード体系である」ということは確かだ」ということは誤りならばあの遊離縁は肯認する
事実24: 仮にこの危機的状況が理解力であるとするとその遊離縁は肯認する

仮説: この危機的状況がコード体系だしさらにそれは風刺する
1. 仮定1: 以下のように仮定する。「この危機的状況は理解力でないけれどそれはコード体系である」ということは確かでない
2. 事実23と仮定1から、推論1: "その遊離縁は肯認する"が導かれる
3. 推論1と事実13から、推論2: "その遊離縁は生かし切れる"が導かれる
4. 推論2と事実22から、推論3: "この雄蕊はずきずきする"が導かれる
5. 事実21と事実3から、推論4: "この雄蕊はずきずきしない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この危機的状況は理解力でないけどコード体系である"が導かれる
8. 推論6から、推論7: "この危機的状況はコード体系である"が導かれる
9. 事実9と事実15から、推論8: "この危機的状況は風刺するしそれは負け越す"が導かれる
10. 推論8から、推論9: "この危機的状況は風刺する"が導かれる
11. 推論7と推論9から、仮説が導かれる

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