あのバリケードは農地であるということはない
fact1: 「「その左は魔物であるがしかしハンカチ運動であるということはない」ということは本当である」ということは確かでないとすれば恐ろしくない fact2: どれもこれもはハンカチ運動でライセンスする fact3: 「あのバリケードは決定等で輪舞だ」ということは成り立たない fact4: もし仮にその浄化費用が農地だということはないならばあのバリケードは農地である fact5: もし「あのバリケードは決定等であるし輪舞である」ということは事実と異なるとしたら農地でない fact6: その左はライセンスするとすれば「魔物だ一方でハンカチ運動でない」ということは誤っている
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あのバリケードは農地だ
$facts$ = fact1: 「「その左は魔物であるがしかしハンカチ運動であるということはない」ということは本当である」ということは確かでないとすれば恐ろしくない fact2: どれもこれもはハンカチ運動でライセンスする fact3: 「あのバリケードは決定等で輪舞だ」ということは成り立たない fact4: もし仮にその浄化費用が農地だということはないならばあのバリケードは農地である fact5: もし「あのバリケードは決定等であるし輪舞である」ということは事実と異なるとしたら農地でない fact6: その左はライセンスするとすれば「魔物だ一方でハンカチ運動でない」ということは誤っている ; $hypothesis$ = あのバリケードは農地であるということはない ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 「「その左は魔物であるがしかしハンカチ運動であるということはない」ということは本当である」ということは確かでないとすれば恐ろしくない
事実2: どれもこれもはハンカチ運動でライセンスする
事実3: 「あのバリケードは決定等で輪舞だ」ということは成り立たない
事実4: もし仮にその浄化費用が農地だということはないならばあのバリケードは農地である
事実5: もし「あのバリケードは決定等であるし輪舞である」ということは事実と異なるとしたら農地でない
事実6: その左はライセンスするとすれば「魔物だ一方でハンカチ運動でない」ということは誤っている

仮説: あのバリケードは農地であるということはない
1. 事実5と事実3から、仮説が導かれる

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