「「もし「位置覚であるということはなくて奔放さだ」ということは偽ならば居た堪れない」物はある」ということは誤りだ
fact1: もし「その予防策は位置覚であるということはないがしかし奔放さだ」ということは事実と異なるなら居た堪れない fact2: 「仮に位置覚であるということはないが奔放さだとすると居た堪れない」物はある fact3: 仮に「その予防策は位置覚でないがしかし奔放さだ」ということは偽であるとすれば居た堪れる fact4: 仮にその予防策は位置覚であるということはないがしかし奔放さだとすれば居た堪れない fact5: もしも「なんらかのものは差し引かないけど開き易い」ということは成り立つということはないならばそれは位置覚でない fact6: 「もし「位置覚でないし奔放さだ」ということは成り立たないとしたら「居た堪れる」ということは確かな」ものはある fact7: 仮にその予防策が位置覚だとすると居た堪れない fact8: 「仮に奔放さだということはないとしたら居た堪れない」物はある
fact1 -> hypothesis;
「そのラベルレイアウトは差し引かない一方でそれは開き易い」ということは成り立たないならば位置覚でない
fact9 -> hypothesis;
$facts$ = fact1: もし「その予防策は位置覚であるということはないがしかし奔放さだ」ということは事実と異なるなら居た堪れない fact2: 「仮に位置覚であるということはないが奔放さだとすると居た堪れない」物はある fact3: 仮に「その予防策は位置覚でないがしかし奔放さだ」ということは偽であるとすれば居た堪れる fact4: 仮にその予防策は位置覚であるということはないがしかし奔放さだとすれば居た堪れない fact5: もしも「なんらかのものは差し引かないけど開き易い」ということは成り立つということはないならばそれは位置覚でない fact6: 「もし「位置覚でないし奔放さだ」ということは成り立たないとしたら「居た堪れる」ということは確かな」ものはある fact7: 仮にその予防策が位置覚だとすると居た堪れない fact8: 「仮に奔放さだということはないとしたら居た堪れない」物はある ; $hypothesis$ = 「「もし「位置覚であるということはなくて奔放さだ」ということは偽ならば居た堪れない」物はある」ということは誤りだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし「その予防策は位置覚であるということはないがしかし奔放さだ」ということは事実と異なるなら居た堪れない
事実2: 「仮に位置覚であるということはないが奔放さだとすると居た堪れない」物はある
事実3: 仮に「その予防策は位置覚でないがしかし奔放さだ」ということは偽であるとすれば居た堪れる
事実4: 仮にその予防策は位置覚であるということはないがしかし奔放さだとすれば居た堪れない
事実5: もしも「なんらかのものは差し引かないけど開き易い」ということは成り立つということはないならばそれは位置覚でない
事実6: 「もし「位置覚でないし奔放さだ」ということは成り立たないとしたら「居た堪れる」ということは確かな」ものはある
事実7: 仮にその予防策が位置覚だとすると居た堪れない
事実8: 「仮に奔放さだということはないとしたら居た堪れない」物はある

仮説: 「「もし「位置覚であるということはなくて奔放さだ」ということは偽ならば居た堪れない」物はある」ということは誤りだ
1. 事実1から、仮説が否定される

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