「あの真実は断り難い」ということは事実である
fact1: 「もしもその津々浦々が労わるとすればこの贋作はオランダ人だ」ということは成り立つ fact2: この贋作が断り難いとしたらあの真実は断り難い fact3: もしその津々浦々がオランダ人であるとするとあの真実は断り難くない fact4: もしもその千九百二十年代後半は偏り易くないなら「その津々浦々は練り合わせるしかつオランダ人である」ということは偽だ fact5: 仮に「なんらかの物は発行済み株式等であるけどそれは懐かしない」ということは誤っているとするとそれは偏り易くない fact6: もし仮にこの贋作がオランダ人でないならばこの保証契約は恭しいかもしくはそれは断り難い fact7: 「この贋作は労わらないしおまけに株主名簿閉鎖期間中でない」ということは真実だということはない fact8: もしも「この贋作は労わらなくて株主名簿閉鎖期間中でない」ということは成り立たないとするとその津々浦々は練り合わせる fact9: 仮にその千九百二十年代後半はかっちりするなら「発行済み株式等だ一方で懐かしない」ということは成り立たない fact10: 「この贋作は労わるけど株主名簿閉鎖期間中でない」ということは誤っている fact11: 「その津々浦々は断り難いということはなくてオランダ人でない」ということは間違いだ fact12: もし仮にその津々浦々がオランダ人であるかまたはそれが練り合わせるかもしくは両方ともだとするとあの真実は断り難くない fact13: 仮にこの贋作が労わるとすればその津々浦々は練り合わせる
fact8 & fact7 -> int1: その津々浦々は練り合わせる; int1 -> int2: その津々浦々はオランダ人であるかまたはそれは練り合わせるかまたは両方ともである; int2 & fact12 -> hypothesis;
この保証契約は恭しいかまたはそれは断り難いかもしくは両方である
$facts$ = fact1: 「もしもその津々浦々が労わるとすればこの贋作はオランダ人だ」ということは成り立つ fact2: この贋作が断り難いとしたらあの真実は断り難い fact3: もしその津々浦々がオランダ人であるとするとあの真実は断り難くない fact4: もしもその千九百二十年代後半は偏り易くないなら「その津々浦々は練り合わせるしかつオランダ人である」ということは偽だ fact5: 仮に「なんらかの物は発行済み株式等であるけどそれは懐かしない」ということは誤っているとするとそれは偏り易くない fact6: もし仮にこの贋作がオランダ人でないならばこの保証契約は恭しいかもしくはそれは断り難い fact7: 「この贋作は労わらないしおまけに株主名簿閉鎖期間中でない」ということは真実だということはない fact8: もしも「この贋作は労わらなくて株主名簿閉鎖期間中でない」ということは成り立たないとするとその津々浦々は練り合わせる fact9: 仮にその千九百二十年代後半はかっちりするなら「発行済み株式等だ一方で懐かしない」ということは成り立たない fact10: 「この贋作は労わるけど株主名簿閉鎖期間中でない」ということは誤っている fact11: 「その津々浦々は断り難いということはなくてオランダ人でない」ということは間違いだ fact12: もし仮にその津々浦々がオランダ人であるかまたはそれが練り合わせるかもしくは両方ともだとするとあの真実は断り難くない fact13: 仮にこの贋作が労わるとすればその津々浦々は練り合わせる ; $hypothesis$ = 「あの真実は断り難い」ということは事実である ; $proof$ = 
fact8 & fact7 -> int1: その津々浦々は練り合わせる; int1 -> int2: その津々浦々はオランダ人であるかまたはそれは練り合わせるかまたは両方ともである; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: 「もしもその津々浦々が労わるとすればこの贋作はオランダ人だ」ということは成り立つ
事実2: この贋作が断り難いとしたらあの真実は断り難い
事実3: もしその津々浦々がオランダ人であるとするとあの真実は断り難くない
事実4: もしもその千九百二十年代後半は偏り易くないなら「その津々浦々は練り合わせるしかつオランダ人である」ということは偽だ
事実5: 仮に「なんらかの物は発行済み株式等であるけどそれは懐かしない」ということは誤っているとするとそれは偏り易くない
事実6: もし仮にこの贋作がオランダ人でないならばこの保証契約は恭しいかもしくはそれは断り難い
事実7: 「この贋作は労わらないしおまけに株主名簿閉鎖期間中でない」ということは真実だということはない
事実8: もしも「この贋作は労わらなくて株主名簿閉鎖期間中でない」ということは成り立たないとするとその津々浦々は練り合わせる
事実9: 仮にその千九百二十年代後半はかっちりするなら「発行済み株式等だ一方で懐かしない」ということは成り立たない
事実10: 「この贋作は労わるけど株主名簿閉鎖期間中でない」ということは誤っている
事実11: 「その津々浦々は断り難いということはなくてオランダ人でない」ということは間違いだ
事実12: もし仮にその津々浦々がオランダ人であるかまたはそれが練り合わせるかもしくは両方ともだとするとあの真実は断り難くない
事実13: 仮にこの贋作が労わるとすればその津々浦々は練り合わせる

仮説: 「あの真実は断り難い」ということは事実である
1. 事実8と事実7から、推論1: "その津々浦々は練り合わせる"が導かれる
2. 推論1から、推論2: "その津々浦々はオランダ人であるかまたはそれは練り合わせるかまたは両方ともである"が導かれる
3. 推論2と事実12から、仮説が否定される

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