「「「もし仮に「ドアップでおまけに情報政策でない」ということは成り立つということはないとしたら居為さる」ものはある」ということは成り立つ」ということは誤っている
fact1: 「もし仮に「長細くて反応し易くない」ということは成り立たないとしたら言い訳がましい」ものはある fact2: 「情報政策は居為さる」ということは正しい fact3: 「何かはドアップだ一方で情報政策であるということはない」ということは成り立たないならばそれは居為さる fact4: もしもその依頼文が居為さるとすれば転訛する fact5: 「もし白熱化すれば告げる」ものはある fact6: 「もし仮に「しんどい一方でテルペン類だということはない」ということは成り立たないならば成り易い」ものはある
fact3 -> int1: もし仮に「この区画整理はドアップだ一方で情報政策でない」ということは誤りだとしたらそれは居為さる; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「長細くて反応し易くない」ということは成り立たないとしたら言い訳がましい」ものはある fact2: 「情報政策は居為さる」ということは正しい fact3: 「何かはドアップだ一方で情報政策であるということはない」ということは成り立たないならばそれは居為さる fact4: もしもその依頼文が居為さるとすれば転訛する fact5: 「もし白熱化すれば告げる」ものはある fact6: 「もし仮に「しんどい一方でテルペン類だということはない」ということは成り立たないならば成り易い」ものはある ; $hypothesis$ = 「「「もし仮に「ドアップでおまけに情報政策でない」ということは成り立つということはないとしたら居為さる」ものはある」ということは成り立つ」ということは誤っている ; $proof$ = 
fact3 -> int1: もし仮に「この区画整理はドアップだ一方で情報政策でない」ということは誤りだとしたらそれは居為さる; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「長細くて反応し易くない」ということは成り立たないとしたら言い訳がましい」ものはある
事実2: 「情報政策は居為さる」ということは正しい
事実3: 「何かはドアップだ一方で情報政策であるということはない」ということは成り立たないならばそれは居為さる
事実4: もしもその依頼文が居為さるとすれば転訛する
事実5: 「もし白熱化すれば告げる」ものはある
事実6: 「もし仮に「しんどい一方でテルペン類だということはない」ということは成り立たないならば成り易い」ものはある

仮説: 「「「もし仮に「ドアップでおまけに情報政策でない」ということは成り立つということはないとしたら居為さる」ものはある」ということは成り立つ」ということは誤っている
1. 事実3から、推論1: "もし仮に「この区画整理はドアップだ一方で情報政策でない」ということは誤りだとしたらそれは居為さる"が導かれる
2. 推論1から、仮説が否定される

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