「このイスラーム勢力は御相談しなくてしかも結合し易くない」ということは成り立たない
fact1: もしこのイスラーム勢力はパレードでないとしたら「それは御相談しないし結合し易くない」ということは成り立つということはない fact2: このイスラーム勢力はパレードでない fact3: 仮になにがしかのものはおっかなくないなら「それはパレードでなくてそれにそれは投書しない」ということは嘘だ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
「このイスラーム勢力はパレードでないしそれは投書しない」ということは偽だ
fact4 -> int1: 仮にこのイスラーム勢力はおっかないということはないとすれば「それはパレードでないしそれは投書しない」ということは成り立たない;
$facts$ = fact1: もしこのイスラーム勢力はパレードでないとしたら「それは御相談しないし結合し易くない」ということは成り立つということはない fact2: このイスラーム勢力はパレードでない fact3: 仮になにがしかのものはおっかなくないなら「それはパレードでなくてそれにそれは投書しない」ということは嘘だ ; $hypothesis$ = 「このイスラーム勢力は御相談しなくてしかも結合し易くない」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしこのイスラーム勢力はパレードでないとしたら「それは御相談しないし結合し易くない」ということは成り立つということはない
事実2: このイスラーム勢力はパレードでない
事実3: 仮になにがしかのものはおっかなくないなら「それはパレードでなくてそれにそれは投書しない」ということは嘘だ

仮説: 「このイスラーム勢力は御相談しなくてしかも結合し易くない」ということは成り立たない
1. 事実1と事実2から、仮説が導かれる

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