その釣り場は教育要求である
fact1: もしも「この転向は蒸し上げないが日本らしい」ということは成り立つならそれは分かり辛い fact2: あの縁起棚は咽頭筋群である fact3: あの縁起棚はシングルカムであるし性分らしい fact4: 仮にこの転向が作り難くないけど除斥期間であるならその釣り場は教育要求でない fact5: 何らかのものは性分らしいとしたら「それはシングルカムだということはないしそれは咽頭筋群でない」ということは成り立たない fact6: もしあの縁起棚が咽頭筋群でシングルカムであるならばこの転向は作り難くない fact7: 「日本らしくない物は分かり辛い」ということは成り立つ fact8: もしもなんらかのものが日本らしいということはないとすればそれは分かり辛いしかつ除斥期間だ fact9: もし仮にある物がシングルカムであるということはないとすればそれは作り難くてかつ分かり辛い fact10: 仮になにがしかのものは作り難いとすれば「除斥期間であるけど性分らしくない」ということは誤っている fact11: この転向が分かり辛いとしたらあの縁起棚は作り難い fact12: この転向は日本らしくない fact13: もし仮に「あの縁起棚は除斥期間であるがしかし性分らしいということはない」ということは正しくないならその釣り場は性分らしい fact14: 泥臭くないものは蒸し上げないけど日本らしい fact15: 仮に「この転向は血走らない一方で泥臭い」ということは成り立つということはないとすれば泥臭くない fact16: もし何らかのものがシングルカムならそれは教育要求だ
fact3 -> int1: あの縁起棚はシングルカムだ; int1 & fact2 -> int2: あの縁起棚は咽頭筋群であるしかつシングルカムだ; int2 & fact6 -> int3: この転向は作り難くない; fact8 -> int4: もしこの転向が日本らしくないとしたらそれは分かり辛くてそれは除斥期間だ; int4 & fact12 -> int5: この転向は分かり辛いしおまけに除斥期間だ; int5 -> int6: 「この転向は除斥期間だ」ということは事実である; int3 & int6 -> int7: この転向は作り難くないがしかしそれは除斥期間だ; int7 & fact4 -> hypothesis;
その釣り場は教育要求である
fact19 -> int8: その釣り場はシングルカムであるとしたらそれは教育要求だ; fact24 -> int9: もし仮にその釣り場は性分らしいなら「それはシングルカムであるということはなくてかつ咽頭筋群だということはない」ということは成り立たない; fact22 -> int10: 仮に「あの縁起棚は作り難い」ということは正しいとすると「除斥期間でそれは性分らしいということはない」ということは誤っている; fact17 -> int11: もしこの転向が泥臭くないとすればそれは蒸し上げないけれど日本らしい;
$facts$ = fact1: もしも「この転向は蒸し上げないが日本らしい」ということは成り立つならそれは分かり辛い fact2: あの縁起棚は咽頭筋群である fact3: あの縁起棚はシングルカムであるし性分らしい fact4: 仮にこの転向が作り難くないけど除斥期間であるならその釣り場は教育要求でない fact5: 何らかのものは性分らしいとしたら「それはシングルカムだということはないしそれは咽頭筋群でない」ということは成り立たない fact6: もしあの縁起棚が咽頭筋群でシングルカムであるならばこの転向は作り難くない fact7: 「日本らしくない物は分かり辛い」ということは成り立つ fact8: もしもなんらかのものが日本らしいということはないとすればそれは分かり辛いしかつ除斥期間だ fact9: もし仮にある物がシングルカムであるということはないとすればそれは作り難くてかつ分かり辛い fact10: 仮になにがしかのものは作り難いとすれば「除斥期間であるけど性分らしくない」ということは誤っている fact11: この転向が分かり辛いとしたらあの縁起棚は作り難い fact12: この転向は日本らしくない fact13: もし仮に「あの縁起棚は除斥期間であるがしかし性分らしいということはない」ということは正しくないならその釣り場は性分らしい fact14: 泥臭くないものは蒸し上げないけど日本らしい fact15: 仮に「この転向は血走らない一方で泥臭い」ということは成り立つということはないとすれば泥臭くない fact16: もし何らかのものがシングルカムならそれは教育要求だ ; $hypothesis$ = その釣り場は教育要求である ; $proof$ = 
fact3 -> int1: あの縁起棚はシングルカムだ; int1 & fact2 -> int2: あの縁起棚は咽頭筋群であるしかつシングルカムだ; int2 & fact6 -> int3: この転向は作り難くない; fact8 -> int4: もしこの転向が日本らしくないとしたらそれは分かり辛くてそれは除斥期間だ; int4 & fact12 -> int5: この転向は分かり辛いしおまけに除斥期間だ; int5 -> int6: 「この転向は除斥期間だ」ということは事実である; int3 & int6 -> int7: この転向は作り難くないがしかしそれは除斥期間だ; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「この転向は蒸し上げないが日本らしい」ということは成り立つならそれは分かり辛い
事実2: あの縁起棚は咽頭筋群である
事実3: あの縁起棚はシングルカムであるし性分らしい
事実4: 仮にこの転向が作り難くないけど除斥期間であるならその釣り場は教育要求でない
事実5: 何らかのものは性分らしいとしたら「それはシングルカムだということはないしそれは咽頭筋群でない」ということは成り立たない
事実6: もしあの縁起棚が咽頭筋群でシングルカムであるならばこの転向は作り難くない
事実7: 「日本らしくない物は分かり辛い」ということは成り立つ
事実8: もしもなんらかのものが日本らしいということはないとすればそれは分かり辛いしかつ除斥期間だ
事実9: もし仮にある物がシングルカムであるということはないとすればそれは作り難くてかつ分かり辛い
事実10: 仮になにがしかのものは作り難いとすれば「除斥期間であるけど性分らしくない」ということは誤っている
事実11: この転向が分かり辛いとしたらあの縁起棚は作り難い
事実12: この転向は日本らしくない
事実13: もし仮に「あの縁起棚は除斥期間であるがしかし性分らしいということはない」ということは正しくないならその釣り場は性分らしい
事実14: 泥臭くないものは蒸し上げないけど日本らしい
事実15: 仮に「この転向は血走らない一方で泥臭い」ということは成り立つということはないとすれば泥臭くない
事実16: もし何らかのものがシングルカムならそれは教育要求だ

仮説: その釣り場は教育要求である
1. 事実3から、推論1: "あの縁起棚はシングルカムだ"が導かれる
2. 推論1と事実2から、推論2: "あの縁起棚は咽頭筋群であるしかつシングルカムだ"が導かれる
3. 推論2と事実6から、推論3: "この転向は作り難くない"が導かれる
4. 事実8から、推論4: "もしこの転向が日本らしくないとしたらそれは分かり辛くてそれは除斥期間だ"が導かれる
5. 推論4と事実12から、推論5: "この転向は分かり辛いしおまけに除斥期間だ"が導かれる
6. 推論5から、推論6: "「この転向は除斥期間だ」ということは事実である"が導かれる
7. 推論3と推論6から、推論7: "この転向は作り難くないがしかしそれは除斥期間だ"が導かれる
8. 推論7と事実4から、仮説が否定される

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