「「もし仮に「姉らしいししかも契丹族でない」ということは偽だとしたら発揮し難い」物はある」ということは事実と異なる
fact1: 「なにかは姉らしいけれどそれは契丹族でない」ということは間違っていれば「それは発揮し難い」ということは誤りでない fact2: もしも「その養生シートは姉らしいけどそれは契丹族でない」ということは成り立つとすれば発揮し難い fact3: 姉らしい物が契丹族だということはないとするとそれは発揮し難い fact4: 仮になんらかのものが姉らしくないとすると発揮し難い fact5: 「もし「姉らしいしそれに契丹族である」ということは成り立たないならば発揮し難い」物はある fact6: もしも「あるものが形成し易いしその上運試しである」ということは誤りであるならば三項である
fact1 -> int1: 仮に「その養生シートは姉らしいがそれは契丹族だということはない」ということは誤りであるとすると発揮し難い; int1 -> hypothesis;
$facts$ = fact1: 「なにかは姉らしいけれどそれは契丹族でない」ということは間違っていれば「それは発揮し難い」ということは誤りでない fact2: もしも「その養生シートは姉らしいけどそれは契丹族でない」ということは成り立つとすれば発揮し難い fact3: 姉らしい物が契丹族だということはないとするとそれは発揮し難い fact4: 仮になんらかのものが姉らしくないとすると発揮し難い fact5: 「もし「姉らしいしそれに契丹族である」ということは成り立たないならば発揮し難い」物はある fact6: もしも「あるものが形成し易いしその上運試しである」ということは誤りであるならば三項である ; $hypothesis$ = 「「もし仮に「姉らしいししかも契丹族でない」ということは偽だとしたら発揮し難い」物はある」ということは事実と異なる ; $proof$ = 
fact1 -> int1: 仮に「その養生シートは姉らしいがそれは契丹族だということはない」ということは誤りであるとすると発揮し難い; int1 -> hypothesis; __DISPROVED__
事実1: 「なにかは姉らしいけれどそれは契丹族でない」ということは間違っていれば「それは発揮し難い」ということは誤りでない
事実2: もしも「その養生シートは姉らしいけどそれは契丹族でない」ということは成り立つとすれば発揮し難い
事実3: 姉らしい物が契丹族だということはないとするとそれは発揮し難い
事実4: 仮になんらかのものが姉らしくないとすると発揮し難い
事実5: 「もし「姉らしいしそれに契丹族である」ということは成り立たないならば発揮し難い」物はある
事実6: もしも「あるものが形成し易いしその上運試しである」ということは誤りであるならば三項である

仮説: 「「もし仮に「姉らしいししかも契丹族でない」ということは偽だとしたら発揮し難い」物はある」ということは事実と異なる
1. 事実1から、推論1: "仮に「その養生シートは姉らしいがそれは契丹族だということはない」ということは誤りであるとすると発揮し難い"が導かれる
2. 推論1から、仮説が否定される

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