「あのＣワンＲはアドレスしないとしたら「この異業種交流は悍ましい」ということは誤りでない」ということは誤りだ
fact1: もしもあのＣワンＲはアドレスしないとすれば「その長波長は生み給うかそれは舐る」ということは事実と異なる fact2: もし仮にその長波長はアドレスしないとしたら「あのＣワンＲは御見せに成るか専念出来るか両方ともだ」ということは誤りである fact3: もし仮に何らかの物はぼろいということはないとしたら「それは悍ましいがしかし燃え易いということはない」ということは成り立たない fact4: 「「生み給うかもしくは舐るかもしくはどちらもだ」ということは成り立たない」物があるとすればこの異業種交流は悍ましい
void -> assump1: 以下のように仮定する。あのＣワンＲはアドレスしない; fact1 & assump1 -> int1: 「その長波長は生み給うかまたは舐るかあるいは両方である」ということは誤りだ; int1 -> int2: 「「生み給うかもしくは舐る」ということは成り立たない」物はある; int2 & fact4 -> int3: この異業種交流は悍ましい; [assump1] & int3 -> hypothesis;
「「御見せに成るか専念出来るかあるいは両方である」ということは間違っている」ものはある
fact5 -> int4: 「この異業種交流はぼろくないとすれば「「この異業種交流は悍ましいが燃え易いということはない」ということは本当である」ということは成り立たない」ということは本当である;
$facts$ = fact1: もしもあのＣワンＲはアドレスしないとすれば「その長波長は生み給うかそれは舐る」ということは事実と異なる fact2: もし仮にその長波長はアドレスしないとしたら「あのＣワンＲは御見せに成るか専念出来るか両方ともだ」ということは誤りである fact3: もし仮に何らかの物はぼろいということはないとしたら「それは悍ましいがしかし燃え易いということはない」ということは成り立たない fact4: 「「生み給うかもしくは舐るかもしくはどちらもだ」ということは成り立たない」物があるとすればこの異業種交流は悍ましい ; $hypothesis$ = 「あのＣワンＲはアドレスしないとしたら「この異業種交流は悍ましい」ということは誤りでない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＣワンＲはアドレスしない; fact1 & assump1 -> int1: 「その長波長は生み給うかまたは舐るかあるいは両方である」ということは誤りだ; int1 -> int2: 「「生み給うかもしくは舐る」ということは成り立たない」物はある; int2 & fact4 -> int3: この異業種交流は悍ましい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもあのＣワンＲはアドレスしないとすれば「その長波長は生み給うかそれは舐る」ということは事実と異なる
事実2: もし仮にその長波長はアドレスしないとしたら「あのＣワンＲは御見せに成るか専念出来るか両方ともだ」ということは誤りである
事実3: もし仮に何らかの物はぼろいということはないとしたら「それは悍ましいがしかし燃え易いということはない」ということは成り立たない
事実4: 「「生み給うかもしくは舐るかもしくはどちらもだ」ということは成り立たない」物があるとすればこの異業種交流は悍ましい

仮説: 「あのＣワンＲはアドレスしないとしたら「この異業種交流は悍ましい」ということは誤りでない」ということは誤りだ
1. 仮定1: 以下のように仮定する。あのＣワンＲはアドレスしない
2. 事実1と仮定1から、推論1: "「その長波長は生み給うかまたは舐るかあるいは両方である」ということは誤りだ"が導かれる
3. 推論1から、推論2: "「「生み給うかもしくは舐る」ということは成り立たない」物はある"が導かれる
4. 推論2と事実4から、推論3: "この異業種交流は悍ましい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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