「そのエネルギー革命は吊り易いがしかし思慮深くない」ということは成り立たない
fact1: 仮になにがしかのものが平滑化するかもしくはそれは揺すり立てないとすれば「吊り易い」ということは正しい fact2: 仮になにがしかのものは廃棄すれば「吊り易いけど思慮深くない」ということは間違っている fact3: もしもなにかは済ま無いとしたら「付け易いしそれは薄青くない」ということは間違っている fact4: 仮にある物が定めないならば揺すり立てるし平滑化する fact5: もしもこの水晶振動子監視装置が揺すり立てればこのスーパーカーは廃棄する fact6: もしもなにがしかの物は廃棄するなら「それは感じ難いが思慮深くない」ということは成り立たない fact7: 仮にこの事前性は優しとすると「この教理は定める」ということは成り立つ fact8: もしこの教理が定めるかあるいは刈り入れるか両方であるとするとこの水晶振動子監視装置は定めない fact9: なんらかの物は廃棄するとしたら「吊り易くてかつ思慮深い」ということは偽だ fact10: もし仮にそのエネルギー革命が刈り入れるとするとそれは平滑化するかもしくは揺すり立てないかもしくは両方ともである fact11: もしもそのエネルギー革命は廃棄すれば「それは苦いししかもそれは自動返信しない」ということは成り立つということはない fact12: 「もし仮にそのエネルギー革命は廃棄するとしたら「そのエネルギー革命は吊り易いしそれは思慮深い」ということは成り立たない」ということは真実だ fact13: あの城側は廃棄する fact14: そのエネルギー革命は廃棄する fact15: 「そのエネルギー革命は吊り易くてかつ思慮深い」ということは成り立たない
fact2 -> int1: もし仮にそのエネルギー革命は廃棄するなら「それは吊り易いけど思慮深くない」ということは成り立たない; int1 & fact14 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact14 -> hypothesis;
そのエネルギー革命は吊り易いけれど思慮深くない
fact16 -> int2: 仮にそのエネルギー革命は平滑化するかまたは揺すり立てないかどちらもだとするとそれは吊り易い;
$facts$ = fact1: 仮になにがしかのものが平滑化するかもしくはそれは揺すり立てないとすれば「吊り易い」ということは正しい fact2: 仮になにがしかのものは廃棄すれば「吊り易いけど思慮深くない」ということは間違っている fact3: もしもなにかは済ま無いとしたら「付け易いしそれは薄青くない」ということは間違っている fact4: 仮にある物が定めないならば揺すり立てるし平滑化する fact5: もしもこの水晶振動子監視装置が揺すり立てればこのスーパーカーは廃棄する fact6: もしもなにがしかの物は廃棄するなら「それは感じ難いが思慮深くない」ということは成り立たない fact7: 仮にこの事前性は優しとすると「この教理は定める」ということは成り立つ fact8: もしこの教理が定めるかあるいは刈り入れるか両方であるとするとこの水晶振動子監視装置は定めない fact9: なんらかの物は廃棄するとしたら「吊り易くてかつ思慮深い」ということは偽だ fact10: もし仮にそのエネルギー革命が刈り入れるとするとそれは平滑化するかもしくは揺すり立てないかもしくは両方ともである fact11: もしもそのエネルギー革命は廃棄すれば「それは苦いししかもそれは自動返信しない」ということは成り立つということはない fact12: 「もし仮にそのエネルギー革命は廃棄するとしたら「そのエネルギー革命は吊り易いしそれは思慮深い」ということは成り立たない」ということは真実だ fact13: あの城側は廃棄する fact14: そのエネルギー革命は廃棄する fact15: 「そのエネルギー革命は吊り易くてかつ思慮深い」ということは成り立たない ; $hypothesis$ = 「そのエネルギー革命は吊り易いがしかし思慮深くない」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし仮にそのエネルギー革命は廃棄するなら「それは吊り易いけど思慮深くない」ということは成り立たない; int1 & fact14 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものが平滑化するかもしくはそれは揺すり立てないとすれば「吊り易い」ということは正しい
事実2: 仮になにがしかのものは廃棄すれば「吊り易いけど思慮深くない」ということは間違っている
事実3: もしもなにかは済ま無いとしたら「付け易いしそれは薄青くない」ということは間違っている
事実4: 仮にある物が定めないならば揺すり立てるし平滑化する
事実5: もしもこの水晶振動子監視装置が揺すり立てればこのスーパーカーは廃棄する
事実6: もしもなにがしかの物は廃棄するなら「それは感じ難いが思慮深くない」ということは成り立たない
事実7: 仮にこの事前性は優しとすると「この教理は定める」ということは成り立つ
事実8: もしこの教理が定めるかあるいは刈り入れるか両方であるとするとこの水晶振動子監視装置は定めない
事実9: なんらかの物は廃棄するとしたら「吊り易くてかつ思慮深い」ということは偽だ
事実10: もし仮にそのエネルギー革命が刈り入れるとするとそれは平滑化するかもしくは揺すり立てないかもしくは両方ともである
事実11: もしもそのエネルギー革命は廃棄すれば「それは苦いししかもそれは自動返信しない」ということは成り立つということはない
事実12: 「もし仮にそのエネルギー革命は廃棄するとしたら「そのエネルギー革命は吊り易いしそれは思慮深い」ということは成り立たない」ということは真実だ
事実13: あの城側は廃棄する
事実14: そのエネルギー革命は廃棄する
事実15: 「そのエネルギー革命は吊り易くてかつ思慮深い」ということは成り立たない

仮説: 「そのエネルギー革命は吊り易いがしかし思慮深くない」ということは成り立たない
1. 事実2から、推論1: "もし仮にそのエネルギー革命は廃棄するなら「それは吊り易いけど思慮深くない」ということは成り立たない"が導かれる
2. 推論1と事実14から、仮説が導かれる

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