この最后は動揺し易くない
fact1: もしも「「大台だしさらに変電所でない」ということは本当でない」ものがあるとすればこの最后はデビット決済でない fact2: 「「翳すしその上トレース出来ない」ということは正しくない」物はある fact3: もしもなんらかのものはデビット決済でないとすると動揺し易い fact4: 「「大台だ一方で変電所でない」ということは成り立たない」物はある
fact3 -> int1: この最后はデビット決済でないとすれば「それは動揺し易い」ということは事実である; fact4 & fact1 -> int2: この最后はデビット決済であるということはない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> {C}{aa}; fact4 & fact1 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「「大台だしさらに変電所でない」ということは本当でない」ものがあるとすればこの最后はデビット決済でない fact2: 「「翳すしその上トレース出来ない」ということは正しくない」物はある fact3: もしもなんらかのものはデビット決済でないとすると動揺し易い fact4: 「「大台だ一方で変電所でない」ということは成り立たない」物はある ; $hypothesis$ = この最后は動揺し易くない ; $proof$ = 
fact3 -> int1: この最后はデビット決済でないとすれば「それは動揺し易い」ということは事実である; fact4 & fact1 -> int2: この最后はデビット決済であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「「大台だしさらに変電所でない」ということは本当でない」ものがあるとすればこの最后はデビット決済でない
事実2: 「「翳すしその上トレース出来ない」ということは正しくない」物はある
事実3: もしもなんらかのものはデビット決済でないとすると動揺し易い
事実4: 「「大台だ一方で変電所でない」ということは成り立たない」物はある

仮説: この最后は動揺し易くない
1. 事実3から、推論1: "この最后はデビット決済でないとすれば「それは動揺し易い」ということは事実である"が導かれる
2. 事実4と事実1から、推論2: "この最后はデビット決済であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。