この数冊は毛深い
fact1: この刺激性は関屋記念である fact2: 仮にその輸出者が幕府財政であるとすればその余り物はＣＲＳだ fact3: 「この数冊は関屋記念だし加えて抗い難い」ということは誤っている fact4: その輸出者は抗い難くないけどスナップする fact5: あの特則は抗い難いということはない fact6: もしも何らかのものがＣＲＳでないとすると抗い難くないし青白い fact7: 仮にその輸出者が関屋記念ならこの数冊は毛深い fact8: 「もし仮にその輸出者が抗い難くないがしかしスナップすればその輸出者は幕府財政だ」ということは成り立つ fact9: 「その建設国債は楽しいがしかしそれは恵み深くない」ということは間違っている fact10: もし仮に幕府財政は関屋記念であるとすると「それはＣＲＳでない」ということは本当だ fact11: 仮にその余り物はＣＲＳなら「この数冊はＣＲＳだ一方で関屋記念でない」ということは嘘である fact12: その輸出者は抗い難くないが毛深い fact13: この数冊はスナップする fact14: その輸出者はＣＲＳだとすれば「この数冊はＣＲＳである一方で抗い難くない」ということは誤っている fact15: 「この数冊は抗い難いけれど毛深くない」ということは真実でない fact16: その枠順は関屋記念である fact17: 「この数冊はＣＲＳであるしその上関屋記念だ」ということは事実と異なる fact18: 仮にその余り物はＣＲＳだとしたら「この数冊はＣＲＳであるしかつ関屋記念である」ということは成り立たない fact19: もし仮に「なんらかのものはＣＲＳである一方で関屋記念でない」ということは誤りであるとしたら「毛深くない」ということは真実である
fact8 & fact4 -> int1: その輸出者は幕府財政である; int1 & fact2 -> int2: その余り物はＣＲＳだ; int2 & fact11 -> int3: 「この数冊はＣＲＳであるけれど関屋記念でない」ということは誤りである; fact19 -> int4: もし「この数冊がＣＲＳだけど関屋記念でない」ということは成り立たないとすれば毛深くない; int3 & int4 -> hypothesis;
その輸出者は抗い難くないけれど青白い
fact21 -> int5: もしもその輸出者はＣＲＳでないならば抗い難くないがしかし青白い; fact20 -> int6: 仮にその輸出者が幕府財政でおまけに関屋記念であるならばそれはＣＲＳでない;
$facts$ = fact1: この刺激性は関屋記念である fact2: 仮にその輸出者が幕府財政であるとすればその余り物はＣＲＳだ fact3: 「この数冊は関屋記念だし加えて抗い難い」ということは誤っている fact4: その輸出者は抗い難くないけどスナップする fact5: あの特則は抗い難いということはない fact6: もしも何らかのものがＣＲＳでないとすると抗い難くないし青白い fact7: 仮にその輸出者が関屋記念ならこの数冊は毛深い fact8: 「もし仮にその輸出者が抗い難くないがしかしスナップすればその輸出者は幕府財政だ」ということは成り立つ fact9: 「その建設国債は楽しいがしかしそれは恵み深くない」ということは間違っている fact10: もし仮に幕府財政は関屋記念であるとすると「それはＣＲＳでない」ということは本当だ fact11: 仮にその余り物はＣＲＳなら「この数冊はＣＲＳだ一方で関屋記念でない」ということは嘘である fact12: その輸出者は抗い難くないが毛深い fact13: この数冊はスナップする fact14: その輸出者はＣＲＳだとすれば「この数冊はＣＲＳである一方で抗い難くない」ということは誤っている fact15: 「この数冊は抗い難いけれど毛深くない」ということは真実でない fact16: その枠順は関屋記念である fact17: 「この数冊はＣＲＳであるしその上関屋記念だ」ということは事実と異なる fact18: 仮にその余り物はＣＲＳだとしたら「この数冊はＣＲＳであるしかつ関屋記念である」ということは成り立たない fact19: もし仮に「なんらかのものはＣＲＳである一方で関屋記念でない」ということは誤りであるとしたら「毛深くない」ということは真実である ; $hypothesis$ = この数冊は毛深い ; $proof$ = 
fact8 & fact4 -> int1: その輸出者は幕府財政である; int1 & fact2 -> int2: その余り物はＣＲＳだ; int2 & fact11 -> int3: 「この数冊はＣＲＳであるけれど関屋記念でない」ということは誤りである; fact19 -> int4: もし「この数冊がＣＲＳだけど関屋記念でない」ということは成り立たないとすれば毛深くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この刺激性は関屋記念である
事実2: 仮にその輸出者が幕府財政であるとすればその余り物はＣＲＳだ
事実3: 「この数冊は関屋記念だし加えて抗い難い」ということは誤っている
事実4: その輸出者は抗い難くないけどスナップする
事実5: あの特則は抗い難いということはない
事実6: もしも何らかのものがＣＲＳでないとすると抗い難くないし青白い
事実7: 仮にその輸出者が関屋記念ならこの数冊は毛深い
事実8: 「もし仮にその輸出者が抗い難くないがしかしスナップすればその輸出者は幕府財政だ」ということは成り立つ
事実9: 「その建設国債は楽しいがしかしそれは恵み深くない」ということは間違っている
事実10: もし仮に幕府財政は関屋記念であるとすると「それはＣＲＳでない」ということは本当だ
事実11: 仮にその余り物はＣＲＳなら「この数冊はＣＲＳだ一方で関屋記念でない」ということは嘘である
事実12: その輸出者は抗い難くないが毛深い
事実13: この数冊はスナップする
事実14: その輸出者はＣＲＳだとすれば「この数冊はＣＲＳである一方で抗い難くない」ということは誤っている
事実15: 「この数冊は抗い難いけれど毛深くない」ということは真実でない
事実16: その枠順は関屋記念である
事実17: 「この数冊はＣＲＳであるしその上関屋記念だ」ということは事実と異なる
事実18: 仮にその余り物はＣＲＳだとしたら「この数冊はＣＲＳであるしかつ関屋記念である」ということは成り立たない
事実19: もし仮に「なんらかのものはＣＲＳである一方で関屋記念でない」ということは誤りであるとしたら「毛深くない」ということは真実である

仮説: この数冊は毛深い
1. 事実8と事実4から、推論1: "その輸出者は幕府財政である"が導かれる
2. 推論1と事実2から、推論2: "その余り物はＣＲＳだ"が導かれる
3. 推論2と事実11から、推論3: "「この数冊はＣＲＳであるけれど関屋記念でない」ということは誤りである"が導かれる
4. 事実19から、推論4: "もし「この数冊がＣＲＳだけど関屋記念でない」ということは成り立たないとすれば毛深くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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