「「もしも「通行権だということはない」ということは真実だとすれば「疲労し切るししかも顔見世である」ということは成り立たない」物はある」ということは成り立たない
fact1: なんらかのものはかったるくないならば「分厚いし仏の座である」ということは偽だ fact2: もしもその債務者側は通行権でないとすると「疲労し切るししかも顔見世である」ということは間違いである fact3: 「その債務者側は通行権である」ということは成り立てば「それは疲労し切るし顔見世だ」ということは成り立たない fact4: もしもその債務者側が通行権でないとすればそれは疲労し切るしその上顔見世だ fact5: 「仮に通行権でないとしたら疲労し切るしその上顔見世な」物はある fact6: 「「もし仮に大変身しないとすると「通じ易くて九十九パーセント以上だ」ということは本当でない」ものはある」ということは成り立つ fact7: 「もし「通行権である」ということは真実だとすれば「疲労し切るしかつ顔見世だ」ということは成り立たない」物はある
fact2 -> hypothesis;
「もしもかったるくないとすれば「分厚いし仏の座である」ということは本当でない」ものはある
fact8 -> int1: 仮にあの十二世紀頃はかったるくないとすると「それは分厚くてかつ仏の座だ」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: なんらかのものはかったるくないならば「分厚いし仏の座である」ということは偽だ fact2: もしもその債務者側は通行権でないとすると「疲労し切るししかも顔見世である」ということは間違いである fact3: 「その債務者側は通行権である」ということは成り立てば「それは疲労し切るし顔見世だ」ということは成り立たない fact4: もしもその債務者側が通行権でないとすればそれは疲労し切るしその上顔見世だ fact5: 「仮に通行権でないとしたら疲労し切るしその上顔見世な」物はある fact6: 「「もし仮に大変身しないとすると「通じ易くて九十九パーセント以上だ」ということは本当でない」ものはある」ということは成り立つ fact7: 「もし「通行権である」ということは真実だとすれば「疲労し切るしかつ顔見世だ」ということは成り立たない」物はある ; $hypothesis$ = 「「もしも「通行権だということはない」ということは真実だとすれば「疲労し切るししかも顔見世である」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: なんらかのものはかったるくないならば「分厚いし仏の座である」ということは偽だ
事実2: もしもその債務者側は通行権でないとすると「疲労し切るししかも顔見世である」ということは間違いである
事実3: 「その債務者側は通行権である」ということは成り立てば「それは疲労し切るし顔見世だ」ということは成り立たない
事実4: もしもその債務者側が通行権でないとすればそれは疲労し切るしその上顔見世だ
事実5: 「仮に通行権でないとしたら疲労し切るしその上顔見世な」物はある
事実6: 「「もし仮に大変身しないとすると「通じ易くて九十九パーセント以上だ」ということは本当でない」ものはある」ということは成り立つ
事実7: 「もし「通行権である」ということは真実だとすれば「疲労し切るしかつ顔見世だ」ということは成り立たない」物はある

仮説: 「「もしも「通行権だということはない」ということは真実だとすれば「疲労し切るししかも顔見世である」ということは成り立たない」物はある」ということは成り立たない
1. 事実2から、仮説が否定される

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