その帆さんは知り難くない
fact1: 「その童女は古墳でないけど拘束的時間だ」ということは成り立たないとしたらそのリーチ者は古墳でない fact2: この起訴・不起訴は議論する fact3: 何らかのものは古墳でないとすると目処だし知り難し fact4: もし仮にその帆さんが組み伏せるかだらし無くないならば古墳である fact5: あの八溝山系はだらし無い fact6: もし「その帆さんは議論する」ということは本当ならば目処だ fact7: 仮にその帆さんが現わるかあるいは盗聴しないなら満遍無い fact8: その帆さんは議論する fact9: その帆さんは組み伏せるかもしくはそれはだらし無くない fact10: もし仮に古墳が目処だとすれば知り難しということはない fact11: この連名は冬らしいし武装する fact12: その帆さんが組み伏せればそれは古墳である fact13: もしもその帆さんが駆除するとすればそれは打ち消す fact14: 仮にそのリーチ者が知り難しとすればその帆さんは知り難し
fact4 & fact9 -> int1: その帆さんは古墳だ; fact6 & fact8 -> int2: その帆さんは目処である; int1 & int2 -> int3: その帆さんは古墳であるしかつ目処だ; fact10 -> int4: もしもその帆さんは古墳であるし更に目処であるとすれば知り難くない; int3 & int4 -> hypothesis;
その帆さんは知り難し
fact17 -> int5: 仮にそのリーチ者は古墳でないなら目処であるしかつ知り難し;
$facts$ = fact1: 「その童女は古墳でないけど拘束的時間だ」ということは成り立たないとしたらそのリーチ者は古墳でない fact2: この起訴・不起訴は議論する fact3: 何らかのものは古墳でないとすると目処だし知り難し fact4: もし仮にその帆さんが組み伏せるかだらし無くないならば古墳である fact5: あの八溝山系はだらし無い fact6: もし「その帆さんは議論する」ということは本当ならば目処だ fact7: 仮にその帆さんが現わるかあるいは盗聴しないなら満遍無い fact8: その帆さんは議論する fact9: その帆さんは組み伏せるかもしくはそれはだらし無くない fact10: もし仮に古墳が目処だとすれば知り難しということはない fact11: この連名は冬らしいし武装する fact12: その帆さんが組み伏せればそれは古墳である fact13: もしもその帆さんが駆除するとすればそれは打ち消す fact14: 仮にそのリーチ者が知り難しとすればその帆さんは知り難し ; $hypothesis$ = その帆さんは知り難くない ; $proof$ = 
fact4 & fact9 -> int1: その帆さんは古墳だ; fact6 & fact8 -> int2: その帆さんは目処である; int1 & int2 -> int3: その帆さんは古墳であるしかつ目処だ; fact10 -> int4: もしもその帆さんは古墳であるし更に目処であるとすれば知り難くない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「その童女は古墳でないけど拘束的時間だ」ということは成り立たないとしたらそのリーチ者は古墳でない
事実2: この起訴・不起訴は議論する
事実3: 何らかのものは古墳でないとすると目処だし知り難し
事実4: もし仮にその帆さんが組み伏せるかだらし無くないならば古墳である
事実5: あの八溝山系はだらし無い
事実6: もし「その帆さんは議論する」ということは本当ならば目処だ
事実7: 仮にその帆さんが現わるかあるいは盗聴しないなら満遍無い
事実8: その帆さんは議論する
事実9: その帆さんは組み伏せるかもしくはそれはだらし無くない
事実10: もし仮に古墳が目処だとすれば知り難しということはない
事実11: この連名は冬らしいし武装する
事実12: その帆さんが組み伏せればそれは古墳である
事実13: もしもその帆さんが駆除するとすればそれは打ち消す
事実14: 仮にそのリーチ者が知り難しとすればその帆さんは知り難し

仮説: その帆さんは知り難くない
1. 事実4と事実9から、推論1: "その帆さんは古墳だ"が導かれる
2. 事実6と事実8から、推論2: "その帆さんは目処である"が導かれる
3. 推論1と推論2から、推論3: "その帆さんは古墳であるしかつ目処だ"が導かれる
4. 事実10から、推論4: "もしもその帆さんは古墳であるし更に目処であるとすれば知り難くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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