あの仕込み杖は伝わり難くない
fact1: もしもあの守りが明定しないとしたらその旅芸人は大型化しない fact2: もし仮に「「事前許可制度であるけれど収蔵しない」ということは成り立たない」ものがあるならばあの守りは明定しない fact3: もし仮にとあるものが大型化するけれどそれは傾聴しないならば「それは伝わり難くない」ということは正しい fact4: もしも何らかの物はリュ・サン＝タントワーヌでないならば「酷過ぎなくてかつそれは田舎臭い」ということは成り立たない fact5: 「「事前許可制度であるが収蔵しない」ということは偽な」ものはある fact6: あの守りは傾聴するとすれば「「あの仕込み杖は大型化するがしかし明定しない」ということは成り立つ」ということは成り立つということはない fact7: もしなにかは酷過ぎるとすればそれは傾聴する fact8: もし仮に「何らかの物は大型化するけれど明定しない」ということは間違っていればそれは伝わり難い fact9: 「「明定するしおまけに大型化しない」ということは確かでない」ものはある fact10: 仮にその旅芸人が大型化しないとするとあの仕込み杖は大型化するけど傾聴しない
fact5 & fact2 -> int1: あの守りは明定しない; int1 & fact1 -> int2: その旅芸人は大型化しない; int2 & fact10 -> int3: あの仕込み杖は大型化するがしかし傾聴するということはない; fact3 -> int4: もしあの仕込み杖が大型化するが傾聴するということはないなら「伝わり難くない」ということは誤っていない; int3 & int4 -> hypothesis;
あの仕込み杖は伝わり難い
fact11 -> int5: もし仮に「あの仕込み杖は大型化するけれど明定しない」ということは偽だとしたら「伝わり難い」ということは真実だ; fact13 -> int6: もし仮にあの守りが酷過ぎれば傾聴する; fact14 -> int7: もしその旅芸人はリュ・サン＝タントワーヌでないとすれば「それは酷過ぎるということはないししかもそれは田舎臭い」ということは誤りだ;
$facts$ = fact1: もしもあの守りが明定しないとしたらその旅芸人は大型化しない fact2: もし仮に「「事前許可制度であるけれど収蔵しない」ということは成り立たない」ものがあるならばあの守りは明定しない fact3: もし仮にとあるものが大型化するけれどそれは傾聴しないならば「それは伝わり難くない」ということは正しい fact4: もしも何らかの物はリュ・サン＝タントワーヌでないならば「酷過ぎなくてかつそれは田舎臭い」ということは成り立たない fact5: 「「事前許可制度であるが収蔵しない」ということは偽な」ものはある fact6: あの守りは傾聴するとすれば「「あの仕込み杖は大型化するがしかし明定しない」ということは成り立つ」ということは成り立つということはない fact7: もしなにかは酷過ぎるとすればそれは傾聴する fact8: もし仮に「何らかの物は大型化するけれど明定しない」ということは間違っていればそれは伝わり難い fact9: 「「明定するしおまけに大型化しない」ということは確かでない」ものはある fact10: 仮にその旅芸人が大型化しないとするとあの仕込み杖は大型化するけど傾聴しない ; $hypothesis$ = あの仕込み杖は伝わり難くない ; $proof$ = 
fact5 & fact2 -> int1: あの守りは明定しない; int1 & fact1 -> int2: その旅芸人は大型化しない; int2 & fact10 -> int3: あの仕込み杖は大型化するがしかし傾聴するということはない; fact3 -> int4: もしあの仕込み杖が大型化するが傾聴するということはないなら「伝わり難くない」ということは誤っていない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもあの守りが明定しないとしたらその旅芸人は大型化しない
事実2: もし仮に「「事前許可制度であるけれど収蔵しない」ということは成り立たない」ものがあるならばあの守りは明定しない
事実3: もし仮にとあるものが大型化するけれどそれは傾聴しないならば「それは伝わり難くない」ということは正しい
事実4: もしも何らかの物はリュ・サン＝タントワーヌでないならば「酷過ぎなくてかつそれは田舎臭い」ということは成り立たない
事実5: 「「事前許可制度であるが収蔵しない」ということは偽な」ものはある
事実6: あの守りは傾聴するとすれば「「あの仕込み杖は大型化するがしかし明定しない」ということは成り立つ」ということは成り立つということはない
事実7: もしなにかは酷過ぎるとすればそれは傾聴する
事実8: もし仮に「何らかの物は大型化するけれど明定しない」ということは間違っていればそれは伝わり難い
事実9: 「「明定するしおまけに大型化しない」ということは確かでない」ものはある
事実10: 仮にその旅芸人が大型化しないとするとあの仕込み杖は大型化するけど傾聴しない

仮説: あの仕込み杖は伝わり難くない
1. 事実5と事実2から、推論1: "あの守りは明定しない"が導かれる
2. 推論1と事実1から、推論2: "その旅芸人は大型化しない"が導かれる
3. 推論2と事実10から、推論3: "あの仕込み杖は大型化するがしかし傾聴するということはない"が導かれる
4. 事実3から、推論4: "もしあの仕込み杖が大型化するが傾聴するということはないなら「伝わり難くない」ということは誤っていない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。