「「あの広義は伝え易いということはないしまた大蛇ネットでない」ということは間違いでない」ということは誤りだ
fact1: もしもその尊皇攘夷は伝え易くないとしたら「あの広義は伝え易くなくて大蛇ネットでない」ということは誤りである fact2: その尊皇攘夷は訳無くない fact3: もしもその尊皇攘夷は訳無くないとすれば「可笑しないかあるいは交換過程でないかもしくは両方である」ということは間違っている fact4: もし「とある物は可笑しないかあるいは交換過程でないかまたはどちらもである」ということは成り立たないとすると伝え易いということはない
fact4 -> int1: もし仮に「「その尊皇攘夷は可笑しないかあるいは交換過程でない」ということは真実である」ということは成り立たないとするとそれは伝え易くない; fact3 & fact2 -> int2: 「その尊皇攘夷は可笑しないかまたはそれは交換過程でない」ということは成り立つということはない; int1 & int2 -> int3: その尊皇攘夷は伝え易いということはない; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもその尊皇攘夷は伝え易くないとしたら「あの広義は伝え易くなくて大蛇ネットでない」ということは誤りである fact2: その尊皇攘夷は訳無くない fact3: もしもその尊皇攘夷は訳無くないとすれば「可笑しないかあるいは交換過程でないかもしくは両方である」ということは間違っている fact4: もし「とある物は可笑しないかあるいは交換過程でないかまたはどちらもである」ということは成り立たないとすると伝え易いということはない ; $hypothesis$ = 「「あの広義は伝え易いということはないしまた大蛇ネットでない」ということは間違いでない」ということは誤りだ ; $proof$ = 
fact4 -> int1: もし仮に「「その尊皇攘夷は可笑しないかあるいは交換過程でない」ということは真実である」ということは成り立たないとするとそれは伝え易くない; fact3 & fact2 -> int2: 「その尊皇攘夷は可笑しないかまたはそれは交換過程でない」ということは成り立つということはない; int1 & int2 -> int3: その尊皇攘夷は伝え易いということはない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしもその尊皇攘夷は伝え易くないとしたら「あの広義は伝え易くなくて大蛇ネットでない」ということは誤りである
事実2: その尊皇攘夷は訳無くない
事実3: もしもその尊皇攘夷は訳無くないとすれば「可笑しないかあるいは交換過程でないかもしくは両方である」ということは間違っている
事実4: もし「とある物は可笑しないかあるいは交換過程でないかまたはどちらもである」ということは成り立たないとすると伝え易いということはない

仮説: 「「あの広義は伝え易いということはないしまた大蛇ネットでない」ということは間違いでない」ということは誤りだ
1. 事実4から、推論1: "もし仮に「「その尊皇攘夷は可笑しないかあるいは交換過程でない」ということは真実である」ということは成り立たないとするとそれは伝え易くない"が導かれる
2. 事実3と事実2から、推論2: "「その尊皇攘夷は可笑しないかまたはそれは交換過程でない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "その尊皇攘夷は伝え易いということはない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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