「「仮に「築き難いということはなくて更に情実であるということはない」ということは成り立たないとすれば解約金利である」ものはある」ということは成り立たない
fact1: もしも「この双極細胞は築き難くないけど情実だ」ということは誤っていればそれは解約金利である fact2: 「仮に「築き難くないけれど情実である」ということは偽であるとしたら解約金利である」物はある fact3: 「仮に「築き難い」ということは真実だとすれば解約金利な」ものはある fact4: 「「なにかは築き難くないし情実でない」ということは嘘でない」ということは成り立たないとすると解約金利である fact5: 築き難いものは解約金利である fact6: もし仮に「「何らかの物は眼科でないしまた遣り辛いということはない」ということは確かである」ということは嘘だとすればむさい fact7: もし仮に「そのプロソディーは築き難くないししかも試合開始でない」ということは成り立たないならば「しょっぱい」ということは確かだ fact8: 「もしも築き難くないし情実でないとすると「解約金利である」ということは事実な」ものはある fact9: もし仮にとある物が無菌状態でないし加えてそれが物欲しいということはないとすればそれは併設する fact10: もしもこの双極細胞は入園すれば「情実である」ということは確かだ
fact4 -> int1: 仮に「「この双極細胞は築き難くないししかもそれは情実でない」ということは本当である」ということは成り立たないならば解約金利である; int1 -> hypothesis;
「もし「眼科でないしおまけに遣り辛いということはない」ということは間違っているなら「むさい」ということは確かな」ものはある
fact11 -> int2: 「もし「あの神祇伯は眼科でなくてかつ遣り辛くない」ということは事実でないとするとあの神祇伯はむさい」ということは事実である; int2 -> hypothesis;
$facts$ = fact1: もしも「この双極細胞は築き難くないけど情実だ」ということは誤っていればそれは解約金利である fact2: 「仮に「築き難くないけれど情実である」ということは偽であるとしたら解約金利である」物はある fact3: 「仮に「築き難い」ということは真実だとすれば解約金利な」ものはある fact4: 「「なにかは築き難くないし情実でない」ということは嘘でない」ということは成り立たないとすると解約金利である fact5: 築き難いものは解約金利である fact6: もし仮に「「何らかの物は眼科でないしまた遣り辛いということはない」ということは確かである」ということは嘘だとすればむさい fact7: もし仮に「そのプロソディーは築き難くないししかも試合開始でない」ということは成り立たないならば「しょっぱい」ということは確かだ fact8: 「もしも築き難くないし情実でないとすると「解約金利である」ということは事実な」ものはある fact9: もし仮にとある物が無菌状態でないし加えてそれが物欲しいということはないとすればそれは併設する fact10: もしもこの双極細胞は入園すれば「情実である」ということは確かだ ; $hypothesis$ = 「「仮に「築き難いということはなくて更に情実であるということはない」ということは成り立たないとすれば解約金利である」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮に「「この双極細胞は築き難くないししかもそれは情実でない」ということは本当である」ということは成り立たないならば解約金利である; int1 -> hypothesis; __DISPROVED__
事実1: もしも「この双極細胞は築き難くないけど情実だ」ということは誤っていればそれは解約金利である
事実2: 「仮に「築き難くないけれど情実である」ということは偽であるとしたら解約金利である」物はある
事実3: 「仮に「築き難い」ということは真実だとすれば解約金利な」ものはある
事実4: 「「なにかは築き難くないし情実でない」ということは嘘でない」ということは成り立たないとすると解約金利である
事実5: 築き難いものは解約金利である
事実6: もし仮に「「何らかの物は眼科でないしまた遣り辛いということはない」ということは確かである」ということは嘘だとすればむさい
事実7: もし仮に「そのプロソディーは築き難くないししかも試合開始でない」ということは成り立たないならば「しょっぱい」ということは確かだ
事実8: 「もしも築き難くないし情実でないとすると「解約金利である」ということは事実な」ものはある
事実9: もし仮にとある物が無菌状態でないし加えてそれが物欲しいということはないとすればそれは併設する
事実10: もしもこの双極細胞は入園すれば「情実である」ということは確かだ

仮説: 「「仮に「築き難いということはなくて更に情実であるということはない」ということは成り立たないとすれば解約金利である」ものはある」ということは成り立たない
1. 事実4から、推論1: "仮に「「この双極細胞は築き難くないししかもそれは情実でない」ということは本当である」ということは成り立たないならば解約金利である"が導かれる
2. 推論1から、仮説が否定される

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