その国際連盟総会は了解出来る
fact1: もしもその国際連盟総会は自由度であるということはないならば「それは間取り板であるしめんど臭い」ということは確かだ fact2: もし仮になんらかの物が名護屋城でないかあるいはめんど臭いかどちらもだとすると「それは了解出来るということはない」ということは成り立つ fact3: その国際連盟総会は自由度でない
fact1 & fact3 -> int1: その国際連盟総会は間取り板でかつめんど臭い; int1 -> int2: 「その国際連盟総会はめんど臭い」ということは本当だ; int2 -> int3: その国際連盟総会は名護屋城でないかまたはそれはめんど臭いかどちらもだ; fact2 -> int4: もし仮にその国際連盟総会は名護屋城でないかめんど臭いか両方ならばそれは了解出来ない; int3 & int4 -> hypothesis;
$facts$ = fact1: もしもその国際連盟総会は自由度であるということはないならば「それは間取り板であるしめんど臭い」ということは確かだ fact2: もし仮になんらかの物が名護屋城でないかあるいはめんど臭いかどちらもだとすると「それは了解出来るということはない」ということは成り立つ fact3: その国際連盟総会は自由度でない ; $hypothesis$ = その国際連盟総会は了解出来る ; $proof$ = 
fact1 & fact3 -> int1: その国際連盟総会は間取り板でかつめんど臭い; int1 -> int2: 「その国際連盟総会はめんど臭い」ということは本当だ; int2 -> int3: その国際連盟総会は名護屋城でないかまたはそれはめんど臭いかどちらもだ; fact2 -> int4: もし仮にその国際連盟総会は名護屋城でないかめんど臭いか両方ならばそれは了解出来ない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもその国際連盟総会は自由度であるということはないならば「それは間取り板であるしめんど臭い」ということは確かだ
事実2: もし仮になんらかの物が名護屋城でないかあるいはめんど臭いかどちらもだとすると「それは了解出来るということはない」ということは成り立つ
事実3: その国際連盟総会は自由度でない

仮説: その国際連盟総会は了解出来る
1. 事実1と事実3から、推論1: "その国際連盟総会は間取り板でかつめんど臭い"が導かれる
2. 推論1から、推論2: "「その国際連盟総会はめんど臭い」ということは本当だ"が導かれる
3. 推論2から、推論3: "その国際連盟総会は名護屋城でないかまたはそれはめんど臭いかどちらもだ"が導かれる
4. 事実2から、推論4: "もし仮にその国際連盟総会は名護屋城でないかめんど臭いか両方ならばそれは了解出来ない"が導かれる
5. 推論3と推論4から、仮説が否定される

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