「「もし仮に遠回しでないか攻め滅ぼさないかどちらもだとすれば欲しいということはない」物はある」ということは成り立たない
fact1: 仮にあのポリさんが攻め滅ぼさないならば欲しかない fact2: 仮になにがしかの物が欲しかないかもしくはそれが浴び続けないとすれば張り切らない fact3: 「もし遠回しであるかあるいは攻め滅ぼさないとすると「欲しかない」ということは本当な」物はある fact4: もし「あのポリさんは遠回しでないかまたは攻め滅ぼさないかまたは両方だ」ということは正しいとすると「欲しい」ということは本当だ fact5: 「もしも攻め滅ぼすということはないとしたら欲しかない」ものはある fact6: あのポリさんが遠回しでないかまたはそれは攻め滅ぼさないか両方ともだとすると欲しいということはない fact7: 「遠回しでないならば欲しかない」ものはある fact8: 「もし遠回しであるということはないか攻め滅ぼすか両方ともであるとすれば欲しかない」ものはある fact9: もしあのポリさんはぐらつかないか針鼠でないかあるいは両方であるなら区別し易いということはない fact10: 「仮に遠回しでないかもしくは攻め滅ぼさないかあるいはどちらもだとすれば欲しい」物はある fact11: 「もしも「表明出来るということはないかあるいは選択され易くない」ということは確かであるとすると理解し易くない」物はある fact12: あのポリさんが遠回しであるか攻め滅ぼさないなら欲しかない
fact6 -> hypothesis;
もしもあの二十四倍速は欲しかないか浴び続けないかもしくはどちらもならばそれは張り切るということはない
fact13 -> hypothesis;
$facts$ = fact1: 仮にあのポリさんが攻め滅ぼさないならば欲しかない fact2: 仮になにがしかの物が欲しかないかもしくはそれが浴び続けないとすれば張り切らない fact3: 「もし遠回しであるかあるいは攻め滅ぼさないとすると「欲しかない」ということは本当な」物はある fact4: もし「あのポリさんは遠回しでないかまたは攻め滅ぼさないかまたは両方だ」ということは正しいとすると「欲しい」ということは本当だ fact5: 「もしも攻め滅ぼすということはないとしたら欲しかない」ものはある fact6: あのポリさんが遠回しでないかまたはそれは攻め滅ぼさないか両方ともだとすると欲しいということはない fact7: 「遠回しでないならば欲しかない」ものはある fact8: 「もし遠回しであるということはないか攻め滅ぼすか両方ともであるとすれば欲しかない」ものはある fact9: もしあのポリさんはぐらつかないか針鼠でないかあるいは両方であるなら区別し易いということはない fact10: 「仮に遠回しでないかもしくは攻め滅ぼさないかあるいはどちらもだとすれば欲しい」物はある fact11: 「もしも「表明出来るということはないかあるいは選択され易くない」ということは確かであるとすると理解し易くない」物はある fact12: あのポリさんが遠回しであるか攻め滅ぼさないなら欲しかない ; $hypothesis$ = 「「もし仮に遠回しでないか攻め滅ぼさないかどちらもだとすれば欲しいということはない」物はある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあのポリさんが攻め滅ぼさないならば欲しかない
事実2: 仮になにがしかの物が欲しかないかもしくはそれが浴び続けないとすれば張り切らない
事実3: 「もし遠回しであるかあるいは攻め滅ぼさないとすると「欲しかない」ということは本当な」物はある
事実4: もし「あのポリさんは遠回しでないかまたは攻め滅ぼさないかまたは両方だ」ということは正しいとすると「欲しい」ということは本当だ
事実5: 「もしも攻め滅ぼすということはないとしたら欲しかない」ものはある
事実6: あのポリさんが遠回しでないかまたはそれは攻め滅ぼさないか両方ともだとすると欲しいということはない
事実7: 「遠回しでないならば欲しかない」ものはある
事実8: 「もし遠回しであるということはないか攻め滅ぼすか両方ともであるとすれば欲しかない」ものはある
事実9: もしあのポリさんはぐらつかないか針鼠でないかあるいは両方であるなら区別し易いということはない
事実10: 「仮に遠回しでないかもしくは攻め滅ぼさないかあるいはどちらもだとすれば欲しい」物はある
事実11: 「もしも「表明出来るということはないかあるいは選択され易くない」ということは確かであるとすると理解し易くない」物はある
事実12: あのポリさんが遠回しであるか攻め滅ぼさないなら欲しかない

仮説: 「「もし仮に遠回しでないか攻め滅ぼさないかどちらもだとすれば欲しいということはない」物はある」ということは成り立たない
1. 事実6から、仮説が否定される

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