あの本音は放てるない
fact1: 一乗院でないし猛々しくないという物はない fact2: この基本技術は睦まじい fact3: その甲斐性無しは口説きである fact4: それは睦まじくないし猛々しくないという物はない fact5: その甲斐性無しが委譲しないしさらに賢くない fact6: その甲斐性無しは償却しない fact7: もし「「とあるものは一乗院でなくてそれは猛々しくない」ということは確かだ」ということは嘘であるとすればそれは一乗院だ fact8: もしこのソーシャルサービスが猛々しいならその甲斐性無しは委譲しない fact9: その八割以上は粘液腺でない fact10: 仮にこのソーシャルサービスが委譲しなくておまけに睦まじくないとすればその甲斐性無しは一乗院でない fact11: もしあの本音が放てるとしたらこのソーシャルサービスは委譲しないしそれは睦まじくない fact12: このソーシャルサービスは一乗院である fact13: あの本音は猛々しい fact14: もしその甲斐性無しが睦まじくないがしかしそれが猛々しいならばこのソーシャルサービスは一乗院でない fact15: 「このソーシャルサービスは押し付けがましい」ということは正しい
void -> assump1: 以下のように仮定する。あの本音は放てる; fact11 & assump1 -> int1: このソーシャルサービスは委譲しなくて睦まじくない; int1 & fact10 -> int2: その甲斐性無しは一乗院でない; fact1 -> int3: 「その甲斐性無しは一乗院でないし猛々しくない」ということは間違いだ; fact7 -> int4: 「その甲斐性無しは一乗院でないしその上猛々しくない」ということは成り立たないならそれは一乗院である; int3 & int4 -> int5: その甲斐性無しは一乗院だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの本音は放てる
fact16 -> int7: 「口説きな」物はある;
$facts$ = fact1: 一乗院でないし猛々しくないという物はない fact2: この基本技術は睦まじい fact3: その甲斐性無しは口説きである fact4: それは睦まじくないし猛々しくないという物はない fact5: その甲斐性無しが委譲しないしさらに賢くない fact6: その甲斐性無しは償却しない fact7: もし「「とあるものは一乗院でなくてそれは猛々しくない」ということは確かだ」ということは嘘であるとすればそれは一乗院だ fact8: もしこのソーシャルサービスが猛々しいならその甲斐性無しは委譲しない fact9: その八割以上は粘液腺でない fact10: 仮にこのソーシャルサービスが委譲しなくておまけに睦まじくないとすればその甲斐性無しは一乗院でない fact11: もしあの本音が放てるとしたらこのソーシャルサービスは委譲しないしそれは睦まじくない fact12: このソーシャルサービスは一乗院である fact13: あの本音は猛々しい fact14: もしその甲斐性無しが睦まじくないがしかしそれが猛々しいならばこのソーシャルサービスは一乗院でない fact15: 「このソーシャルサービスは押し付けがましい」ということは正しい ; $hypothesis$ = あの本音は放てるない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの本音は放てる; fact11 & assump1 -> int1: このソーシャルサービスは委譲しなくて睦まじくない; int1 & fact10 -> int2: その甲斐性無しは一乗院でない; fact1 -> int3: 「その甲斐性無しは一乗院でないし猛々しくない」ということは間違いだ; fact7 -> int4: 「その甲斐性無しは一乗院でないしその上猛々しくない」ということは成り立たないならそれは一乗院である; int3 & int4 -> int5: その甲斐性無しは一乗院だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 一乗院でないし猛々しくないという物はない
事実2: この基本技術は睦まじい
事実3: その甲斐性無しは口説きである
事実4: それは睦まじくないし猛々しくないという物はない
事実5: その甲斐性無しが委譲しないしさらに賢くない
事実6: その甲斐性無しは償却しない
事実7: もし「「とあるものは一乗院でなくてそれは猛々しくない」ということは確かだ」ということは嘘であるとすればそれは一乗院だ
事実8: もしこのソーシャルサービスが猛々しいならその甲斐性無しは委譲しない
事実9: その八割以上は粘液腺でない
事実10: 仮にこのソーシャルサービスが委譲しなくておまけに睦まじくないとすればその甲斐性無しは一乗院でない
事実11: もしあの本音が放てるとしたらこのソーシャルサービスは委譲しないしそれは睦まじくない
事実12: このソーシャルサービスは一乗院である
事実13: あの本音は猛々しい
事実14: もしその甲斐性無しが睦まじくないがしかしそれが猛々しいならばこのソーシャルサービスは一乗院でない
事実15: 「このソーシャルサービスは押し付けがましい」ということは正しい

仮説: あの本音は放てるない
1. 仮定1: 以下のように仮定する。あの本音は放てる
2. 事実11と仮定1から、推論1: "このソーシャルサービスは委譲しなくて睦まじくない"が導かれる
3. 推論1と事実10から、推論2: "その甲斐性無しは一乗院でない"が導かれる
4. 事実1から、推論3: "「その甲斐性無しは一乗院でないし猛々しくない」ということは間違いだ"が導かれる
5. 事実7から、推論4: "「その甲斐性無しは一乗院でないしその上猛々しくない」ということは成り立たないならそれは一乗院である"が導かれる
6. 推論3と推論4から、推論5: "その甲斐性無しは一乗院だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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