その横死は固いということはないけど包括遺贈だ
fact1: もしもその横死が固くて床しいならこの上接語は包括遺贈でない fact2: なにかは卵母細胞だとしたら戦略的情報システムである fact3: もし仮にあの右端点が過激化するし加えてそれが固いならばこの上接語は床しかない fact4: このＳＰＥＣは捕らえ難い fact5: 戦略的情報システムは過激化する fact6: 仮に何らかの物は戦略的情報システムならば「「それは固いということはないけど包括遺贈だ」ということは誤りでない」ということは本当でない fact7: もしも「このＳＰＥＣは捕らえ難いかもしくは床しいかまたは両方ともである」ということは成り立たないならば「この上接語は床しい」ということは正しい fact8: このＳＰＥＣはグラフィックであるとすると「捕らえ難くないかあるいは床しいかまたはどちらもである」ということは間違っている fact9: あの右端点が戦略的情報システムだしそれにそれは卵母細胞である fact10: あのテレビ界はＣ社株式で更に捕らえ難い fact11: もしあの右端点が固くないとすればその横死は固くないが包括遺贈である fact12: 「このＳＰＥＣは捕らえ難いということはないか床しいかあるいは両方だ」ということは間違いならばこの上接語は床しい fact13: 「この上接語は過激化するということはない」ということは誤っていない fact14: この上接語はグラフィックだ fact15: このＳＰＥＣはグラフィックである
fact9 -> int1: あの右端点は戦略的情報システムである; fact5 -> int2: もし仮にあの右端点は戦略的情報システムであるなら過激化する; int1 & int2 -> int3: あの右端点は過激化する; void -> assump1: 以下のように仮定する。あの右端点は固い; int3 & assump1 -> int4: あの右端点は過激化するししかも固い; int4 & fact3 -> int5: 「この上接語は床しかない」ということは本当である; fact15 & fact8 -> int6: 「このＳＰＥＣは捕らえ難くないか床しいかもしくは両方である」ということは成り立たない; fact12 & int6 -> int7: この上接語は床しい; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの右端点は固くない; int9 & fact11 -> hypothesis;
「その横死は固くない一方で包括遺贈である」ということは本当でない
fact17 -> int10: もし「その横死は戦略的情報システムでない」ということは嘘だとすると「それは固いということはないけれど包括遺贈である」ということは嘘である; fact16 -> int11: その横死は卵母細胞であるとすればそれは戦略的情報システムである;
$facts$ = fact1: もしもその横死が固くて床しいならこの上接語は包括遺贈でない fact2: なにかは卵母細胞だとしたら戦略的情報システムである fact3: もし仮にあの右端点が過激化するし加えてそれが固いならばこの上接語は床しかない fact4: このＳＰＥＣは捕らえ難い fact5: 戦略的情報システムは過激化する fact6: 仮に何らかの物は戦略的情報システムならば「「それは固いということはないけど包括遺贈だ」ということは誤りでない」ということは本当でない fact7: もしも「このＳＰＥＣは捕らえ難いかもしくは床しいかまたは両方ともである」ということは成り立たないならば「この上接語は床しい」ということは正しい fact8: このＳＰＥＣはグラフィックであるとすると「捕らえ難くないかあるいは床しいかまたはどちらもである」ということは間違っている fact9: あの右端点が戦略的情報システムだしそれにそれは卵母細胞である fact10: あのテレビ界はＣ社株式で更に捕らえ難い fact11: もしあの右端点が固くないとすればその横死は固くないが包括遺贈である fact12: 「このＳＰＥＣは捕らえ難いということはないか床しいかあるいは両方だ」ということは間違いならばこの上接語は床しい fact13: 「この上接語は過激化するということはない」ということは誤っていない fact14: この上接語はグラフィックだ fact15: このＳＰＥＣはグラフィックである ; $hypothesis$ = その横死は固いということはないけど包括遺贈だ ; $proof$ = 
fact9 -> int1: あの右端点は戦略的情報システムである; fact5 -> int2: もし仮にあの右端点は戦略的情報システムであるなら過激化する; int1 & int2 -> int3: あの右端点は過激化する; void -> assump1: 以下のように仮定する。あの右端点は固い; int3 & assump1 -> int4: あの右端点は過激化するししかも固い; int4 & fact3 -> int5: 「この上接語は床しかない」ということは本当である; fact15 & fact8 -> int6: 「このＳＰＥＣは捕らえ難くないか床しいかもしくは両方である」ということは成り立たない; fact12 & int6 -> int7: この上接語は床しい; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの右端点は固くない; int9 & fact11 -> hypothesis; __PROVED__
事実1: もしもその横死が固くて床しいならこの上接語は包括遺贈でない
事実2: なにかは卵母細胞だとしたら戦略的情報システムである
事実3: もし仮にあの右端点が過激化するし加えてそれが固いならばこの上接語は床しかない
事実4: このＳＰＥＣは捕らえ難い
事実5: 戦略的情報システムは過激化する
事実6: 仮に何らかの物は戦略的情報システムならば「「それは固いということはないけど包括遺贈だ」ということは誤りでない」ということは本当でない
事実7: もしも「このＳＰＥＣは捕らえ難いかもしくは床しいかまたは両方ともである」ということは成り立たないならば「この上接語は床しい」ということは正しい
事実8: このＳＰＥＣはグラフィックであるとすると「捕らえ難くないかあるいは床しいかまたはどちらもである」ということは間違っている
事実9: あの右端点が戦略的情報システムだしそれにそれは卵母細胞である
事実10: あのテレビ界はＣ社株式で更に捕らえ難い
事実11: もしあの右端点が固くないとすればその横死は固くないが包括遺贈である
事実12: 「このＳＰＥＣは捕らえ難いということはないか床しいかあるいは両方だ」ということは間違いならばこの上接語は床しい
事実13: 「この上接語は過激化するということはない」ということは誤っていない
事実14: この上接語はグラフィックだ
事実15: このＳＰＥＣはグラフィックである

仮説: その横死は固いということはないけど包括遺贈だ
1. 事実9から、推論1: "あの右端点は戦略的情報システムである"が導かれる
2. 事実5から、推論2: "もし仮にあの右端点は戦略的情報システムであるなら過激化する"が導かれる
3. 推論1と推論2から、推論3: "あの右端点は過激化する"が導かれる
4. 仮定1: 以下のように仮定する。あの右端点は固い
5. 推論3と仮定1から、推論4: "あの右端点は過激化するししかも固い"が導かれる
6. 推論4と事実3から、推論5: "「この上接語は床しかない」ということは本当である"が導かれる
7. 事実15と事実8から、推論6: "「このＳＰＥＣは捕らえ難くないか床しいかもしくは両方である」ということは成り立たない"が導かれる
8. 事実12と推論6から、推論7: "この上接語は床しい"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの右端点は固くない"が導かれる
11. 推論9と事実11から、仮説が導かれる

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