「この五団体はに過ぎない」ということは事実である
fact1: 仮にこの五団体が硬直化すればに過ぎる fact2: ある物はおっきい fact3: もしも「この二千一年ＵＮＦＰＡウェブサイトは硬直化するかまたは主権平等であるかあるいは両方である」ということは誤っていればこの五団体は硬直化しない fact4: もし仮に「とある物は硬直化するかもしくはそれは汲めるということはないかもしくはどちらもである」ということは真実でないなら「それはに過ぎない」ということは成り立つ fact5: もし「「騙され易くて役しない」ということは嘘である」ものはあるとしたら「この五団体は汲めない」ということは成り立つ fact6: 仮に「「とある物はおっきいということはないけれど愛しい」ということは確かだ」ということは誤りだとすると愛しくない fact7: もしこの二千一年ＵＮＦＰＡウェブサイトは愛しいということはないならば「それは硬直化するか主権平等である」ということは成り立たない fact8: 「「騙され易くて役しない」ということは間違っている」物はある fact9: 「「騙され易いし加えて役する」ということは嘘である」ものはある fact10: もし仮にこの五団体が硬直化するということはないとしたらに過ぎない fact11: 仮にあるものが騙され易くないならこの五団体は汲めない fact12: もし仮にあるものは主権平等だとしたら「硬直化するかあるいは汲めない」ということは間違っている fact13: とある物は騙され易い一方で役しない fact14: この五団体が汲めないとしたら硬直化する
fact8 & fact5 -> int1: この五団体は汲めない; int1 & fact14 -> int2: この五団体は硬直化する; int2 & fact1 -> hypothesis;
あの二重目的語構文は汲める
fact15 -> int3: もし仮に「「この二千一年ＵＮＦＰＡウェブサイトはおっきくないが愛しい」ということは正しい」ということは真実でないならばそれは愛しくない;
$facts$ = fact1: 仮にこの五団体が硬直化すればに過ぎる fact2: ある物はおっきい fact3: もしも「この二千一年ＵＮＦＰＡウェブサイトは硬直化するかまたは主権平等であるかあるいは両方である」ということは誤っていればこの五団体は硬直化しない fact4: もし仮に「とある物は硬直化するかもしくはそれは汲めるということはないかもしくはどちらもである」ということは真実でないなら「それはに過ぎない」ということは成り立つ fact5: もし「「騙され易くて役しない」ということは嘘である」ものはあるとしたら「この五団体は汲めない」ということは成り立つ fact6: 仮に「「とある物はおっきいということはないけれど愛しい」ということは確かだ」ということは誤りだとすると愛しくない fact7: もしこの二千一年ＵＮＦＰＡウェブサイトは愛しいということはないならば「それは硬直化するか主権平等である」ということは成り立たない fact8: 「「騙され易くて役しない」ということは間違っている」物はある fact9: 「「騙され易いし加えて役する」ということは嘘である」ものはある fact10: もし仮にこの五団体が硬直化するということはないとしたらに過ぎない fact11: 仮にあるものが騙され易くないならこの五団体は汲めない fact12: もし仮にあるものは主権平等だとしたら「硬直化するかあるいは汲めない」ということは間違っている fact13: とある物は騙され易い一方で役しない fact14: この五団体が汲めないとしたら硬直化する ; $hypothesis$ = 「この五団体はに過ぎない」ということは事実である ; $proof$ = 
fact8 & fact5 -> int1: この五団体は汲めない; int1 & fact14 -> int2: この五団体は硬直化する; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの五団体が硬直化すればに過ぎる
事実2: ある物はおっきい
事実3: もしも「この二千一年ＵＮＦＰＡウェブサイトは硬直化するかまたは主権平等であるかあるいは両方である」ということは誤っていればこの五団体は硬直化しない
事実4: もし仮に「とある物は硬直化するかもしくはそれは汲めるということはないかもしくはどちらもである」ということは真実でないなら「それはに過ぎない」ということは成り立つ
事実5: もし「「騙され易くて役しない」ということは嘘である」ものはあるとしたら「この五団体は汲めない」ということは成り立つ
事実6: 仮に「「とある物はおっきいということはないけれど愛しい」ということは確かだ」ということは誤りだとすると愛しくない
事実7: もしこの二千一年ＵＮＦＰＡウェブサイトは愛しいということはないならば「それは硬直化するか主権平等である」ということは成り立たない
事実8: 「「騙され易くて役しない」ということは間違っている」物はある
事実9: 「「騙され易いし加えて役する」ということは嘘である」ものはある
事実10: もし仮にこの五団体が硬直化するということはないとしたらに過ぎない
事実11: 仮にあるものが騙され易くないならこの五団体は汲めない
事実12: もし仮にあるものは主権平等だとしたら「硬直化するかあるいは汲めない」ということは間違っている
事実13: とある物は騙され易い一方で役しない
事実14: この五団体が汲めないとしたら硬直化する

仮説: 「この五団体はに過ぎない」ということは事実である
1. 事実8と事実5から、推論1: "この五団体は汲めない"が導かれる
2. 推論1と事実14から、推論2: "この五団体は硬直化する"が導かれる
3. 推論2と事実1から、仮説が否定される

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