「もしもこの仮領収書は基幹でないとすれば「この仮領収書は成り難いということはないかセイウチであるか両方ともだ」ということは嘘である」ということは成り立たない
fact1: もしなにがしかのものは基幹でないとすると「成り難くないかもしくはセイウチであるかもしくはどちらもである」ということは誤っている fact2: もしこの仮領収書は基幹であるとすると「それは成り難いということはないかまたはセイウチであるか両方である」ということは誤りだ fact3: もしもとあるものは基幹でないとするとそれはセイウチでない fact4: もし仮に「この仮領収書は基幹でない」ということは事実であるとすれば「セイウチでない」ということは成り立つ fact5: なにがしかの物は基幹ならば「それは成り難くないかまたはセイウチであるかどちらもだ」ということは偽だ fact6: もしも何かは基幹でないとすると「それは成り難くないかあるいはセイウチである」ということは成り立つ
fact1 -> hypothesis;
$facts$ = fact1: もしなにがしかのものは基幹でないとすると「成り難くないかもしくはセイウチであるかもしくはどちらもである」ということは誤っている fact2: もしこの仮領収書は基幹であるとすると「それは成り難いということはないかまたはセイウチであるか両方である」ということは誤りだ fact3: もしもとあるものは基幹でないとするとそれはセイウチでない fact4: もし仮に「この仮領収書は基幹でない」ということは事実であるとすれば「セイウチでない」ということは成り立つ fact5: なにがしかの物は基幹ならば「それは成り難くないかまたはセイウチであるかどちらもだ」ということは偽だ fact6: もしも何かは基幹でないとすると「それは成り難くないかあるいはセイウチである」ということは成り立つ ; $hypothesis$ = 「もしもこの仮領収書は基幹でないとすれば「この仮領収書は成り難いということはないかセイウチであるか両方ともだ」ということは嘘である」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは基幹でないとすると「成り難くないかもしくはセイウチであるかもしくはどちらもである」ということは誤っている
事実2: もしこの仮領収書は基幹であるとすると「それは成り難いということはないかまたはセイウチであるか両方である」ということは誤りだ
事実3: もしもとあるものは基幹でないとするとそれはセイウチでない
事実4: もし仮に「この仮領収書は基幹でない」ということは事実であるとすれば「セイウチでない」ということは成り立つ
事実5: なにがしかの物は基幹ならば「それは成り難くないかまたはセイウチであるかどちらもだ」ということは偽だ
事実6: もしも何かは基幹でないとすると「それは成り難くないかあるいはセイウチである」ということは成り立つ

仮説: 「もしもこの仮領収書は基幹でないとすれば「この仮領収書は成り難いということはないかセイウチであるか両方ともだ」ということは嘘である」ということは成り立たない
1. 事実1から、仮説が否定される

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