「あの花梨は鎮魂祭でない」ということは事実だ
fact1: もしこの夕靄が御返しするとすればあの花梨は鎮魂祭である fact2: この局所治療が親しいということはないとしたら寒々しくて発効する fact3: この局所治療が学業面であるしその上発効するならばあの二十日判時は回避しない fact4: この局所治療は親しくない fact5: そのイギリス人は時報であるかあるいは釈放後であるかどちらもだ fact6: 「「この夕靄はきついしさらにそれは御返しする」ということは成り立たない」ということは成り立つ fact7: もしもあの二十日判時は回避しないとすると「この夕靄はきついし御返しする」ということは誤りである fact8: もし仮になにがしかのものは回避しないならば「学業面でなくて発効しない」ということは嘘だ fact9: あの二十日判時は親しい fact10: そのイギリス人が鎮魂祭でないならあの花梨は鎮魂祭でない fact11: もしもそのイギリス人が釈放後だとするとこの局所治療は縄文人である fact12: もしあの二十日判時が学業面であるならばそのイギリス人は釈放後であるが縄文人であるということはない fact13: もしこの局所治療は御返ししないとしたら「回避するしきつい」ということは正しくない fact14: 仮にこの局所治療が親しいということはないなら寒々しい fact15: もしもこの局所治療は縄文人であるとすれば学業面だ fact16: もしそのイギリス人が時報であるとするとこの局所治療は縄文人だ fact17: この局所治療は寒々しい fact18: あの二十日判時はきつくないならそれは回避するし縄文人である fact19: もし「この局所治療は回避するしきつい」ということは成り立たないならばそれは回避しない fact20: もしなんらかの物は釈放後でないがしかし時報ならばそれは鎮魂祭でない fact21: 仮に「この夕靄はきついけど御返ししない」ということは嘘であるとするとあの花梨は鎮魂祭である fact22: 「あの二十日判時は回避しないとすれば「「この夕靄はきつい一方で御返しするということはない」ということは成り立たない」ということは本当だ」ということは成り立つ
fact5 & fact16 & fact11 -> int1: この局所治療は縄文人だ; int1 & fact15 -> int2: この局所治療は学業面だ; fact4 & fact2 -> int3: この局所治療は寒々しいしその上発効する; int3 -> int4: この局所治療は発効する; int2 & int4 -> int5: この局所治療は学業面であるし発効する; int5 & fact3 -> int6: あの二十日判時は回避しない; int6 & fact22 -> int7: 「この夕靄はきついけど御返ししない」ということは成り立つということはない; int7 & fact21 -> hypothesis;
この夕靄は時報である
fact26 -> int8: 仮にこの局所治療は回避しないならば「それは学業面でないし発効するということはない」ということは成り立たない;
$facts$ = fact1: もしこの夕靄が御返しするとすればあの花梨は鎮魂祭である fact2: この局所治療が親しいということはないとしたら寒々しくて発効する fact3: この局所治療が学業面であるしその上発効するならばあの二十日判時は回避しない fact4: この局所治療は親しくない fact5: そのイギリス人は時報であるかあるいは釈放後であるかどちらもだ fact6: 「「この夕靄はきついしさらにそれは御返しする」ということは成り立たない」ということは成り立つ fact7: もしもあの二十日判時は回避しないとすると「この夕靄はきついし御返しする」ということは誤りである fact8: もし仮になにがしかのものは回避しないならば「学業面でなくて発効しない」ということは嘘だ fact9: あの二十日判時は親しい fact10: そのイギリス人が鎮魂祭でないならあの花梨は鎮魂祭でない fact11: もしもそのイギリス人が釈放後だとするとこの局所治療は縄文人である fact12: もしあの二十日判時が学業面であるならばそのイギリス人は釈放後であるが縄文人であるということはない fact13: もしこの局所治療は御返ししないとしたら「回避するしきつい」ということは正しくない fact14: 仮にこの局所治療が親しいということはないなら寒々しい fact15: もしもこの局所治療は縄文人であるとすれば学業面だ fact16: もしそのイギリス人が時報であるとするとこの局所治療は縄文人だ fact17: この局所治療は寒々しい fact18: あの二十日判時はきつくないならそれは回避するし縄文人である fact19: もし「この局所治療は回避するしきつい」ということは成り立たないならばそれは回避しない fact20: もしなんらかの物は釈放後でないがしかし時報ならばそれは鎮魂祭でない fact21: 仮に「この夕靄はきついけど御返ししない」ということは嘘であるとするとあの花梨は鎮魂祭である fact22: 「あの二十日判時は回避しないとすれば「「この夕靄はきつい一方で御返しするということはない」ということは成り立たない」ということは本当だ」ということは成り立つ ; $hypothesis$ = 「あの花梨は鎮魂祭でない」ということは事実だ ; $proof$ = 
fact5 & fact16 & fact11 -> int1: この局所治療は縄文人だ; int1 & fact15 -> int2: この局所治療は学業面だ; fact4 & fact2 -> int3: この局所治療は寒々しいしその上発効する; int3 -> int4: この局所治療は発効する; int2 & int4 -> int5: この局所治療は学業面であるし発効する; int5 & fact3 -> int6: あの二十日判時は回避しない; int6 & fact22 -> int7: 「この夕靄はきついけど御返ししない」ということは成り立つということはない; int7 & fact21 -> hypothesis; __DISPROVED__
事実1: もしこの夕靄が御返しするとすればあの花梨は鎮魂祭である
事実2: この局所治療が親しいということはないとしたら寒々しくて発効する
事実3: この局所治療が学業面であるしその上発効するならばあの二十日判時は回避しない
事実4: この局所治療は親しくない
事実5: そのイギリス人は時報であるかあるいは釈放後であるかどちらもだ
事実6: 「「この夕靄はきついしさらにそれは御返しする」ということは成り立たない」ということは成り立つ
事実7: もしもあの二十日判時は回避しないとすると「この夕靄はきついし御返しする」ということは誤りである
事実8: もし仮になにがしかのものは回避しないならば「学業面でなくて発効しない」ということは嘘だ
事実9: あの二十日判時は親しい
事実10: そのイギリス人が鎮魂祭でないならあの花梨は鎮魂祭でない
事実11: もしもそのイギリス人が釈放後だとするとこの局所治療は縄文人である
事実12: もしあの二十日判時が学業面であるならばそのイギリス人は釈放後であるが縄文人であるということはない
事実13: もしこの局所治療は御返ししないとしたら「回避するしきつい」ということは正しくない
事実14: 仮にこの局所治療が親しいということはないなら寒々しい
事実15: もしもこの局所治療は縄文人であるとすれば学業面だ
事実16: もしそのイギリス人が時報であるとするとこの局所治療は縄文人だ
事実17: この局所治療は寒々しい
事実18: あの二十日判時はきつくないならそれは回避するし縄文人である
事実19: もし「この局所治療は回避するしきつい」ということは成り立たないならばそれは回避しない
事実20: もしなんらかの物は釈放後でないがしかし時報ならばそれは鎮魂祭でない
事実21: 仮に「この夕靄はきついけど御返ししない」ということは嘘であるとするとあの花梨は鎮魂祭である
事実22: 「あの二十日判時は回避しないとすれば「「この夕靄はきつい一方で御返しするということはない」ということは成り立たない」ということは本当だ」ということは成り立つ

仮説: 「あの花梨は鎮魂祭でない」ということは事実だ
1. 事実5と事実16と事実11から、推論1: "この局所治療は縄文人だ"が導かれる
2. 推論1と事実15から、推論2: "この局所治療は学業面だ"が導かれる
3. 事実4と事実2から、推論3: "この局所治療は寒々しいしその上発効する"が導かれる
4. 推論3から、推論4: "この局所治療は発効する"が導かれる
5. 推論2と推論4から、推論5: "この局所治療は学業面であるし発効する"が導かれる
6. 推論5と事実3から、推論6: "あの二十日判時は回避しない"が導かれる
7. 推論6と事実22から、推論7: "「この夕靄はきついけど御返ししない」ということは成り立つということはない"が導かれる
8. 推論7と事実21から、仮説が否定される

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