あの漱石全集は巻き戻す
fact1: もしなにがしかの物は追及出来るということはないなら「巻き戻すしまたぐれる」ということは成り立つ fact2: あの漱石全集は追及出来る fact3: ある物は追及出来る fact4: もしもなにがしかのものは極まりなくないとすると「天狗山であるし加えてそれは短い」ということは成り立たない fact5: 「あの漱石全集はぐれるということはない」ということは事実だ fact6: その枡形は追及出来る fact7: その眼光は巻き戻す fact8: もし「あの漱石全集は天狗山であるしおまけにそれは短い」ということは成り立たないとしたら「それは短くない」ということは成り立つ fact9: 「ぐれる」ものはある fact10: もし仮に「ぐれる」ものはあれば「あの漱石全集は追及出来る」ということは真実である fact11: 「仮に何らかのものは短くないなら「コンボするしそれは追及出来る」ということは間違いである」ということは事実だ fact12: 仮に「巻き戻す」物があるとするとあの漱石全集は追及出来る fact13: あの支配人室はめでたくない fact14: もし「「なんらかのものはコンボするし追及出来る」ということは確かだ」ということは成り立たないならば追及出来ない fact15: もしもなにかはぐれるならあの漱石全集は巻き戻さないがしかしそれは追及出来る
fact9 & fact15 -> int1: あの漱石全集は巻き戻さないがしかし追及出来る; int1 -> hypothesis;
あの漱石全集は巻き戻す
fact19 -> int2: もし仮にあの漱石全集が追及出来るということはないならば巻き戻すし更にそれはぐれる; fact20 -> int3: 「あの漱石全集はコンボするしかつそれは追及出来る」ということは成り立たないとするとそれは追及出来ない; fact18 -> int4: もしもあの漱石全集は短くないとしたら「コンボするし加えて追及出来る」ということは嘘である; fact17 -> int5: 仮にあの漱石全集は極まりないということはないとすれば「天狗山だしまた短い」ということは成り立つということはない;
$facts$ = fact1: もしなにがしかの物は追及出来るということはないなら「巻き戻すしまたぐれる」ということは成り立つ fact2: あの漱石全集は追及出来る fact3: ある物は追及出来る fact4: もしもなにがしかのものは極まりなくないとすると「天狗山であるし加えてそれは短い」ということは成り立たない fact5: 「あの漱石全集はぐれるということはない」ということは事実だ fact6: その枡形は追及出来る fact7: その眼光は巻き戻す fact8: もし「あの漱石全集は天狗山であるしおまけにそれは短い」ということは成り立たないとしたら「それは短くない」ということは成り立つ fact9: 「ぐれる」ものはある fact10: もし仮に「ぐれる」ものはあれば「あの漱石全集は追及出来る」ということは真実である fact11: 「仮に何らかのものは短くないなら「コンボするしそれは追及出来る」ということは間違いである」ということは事実だ fact12: 仮に「巻き戻す」物があるとするとあの漱石全集は追及出来る fact13: あの支配人室はめでたくない fact14: もし「「なんらかのものはコンボするし追及出来る」ということは確かだ」ということは成り立たないならば追及出来ない fact15: もしもなにかはぐれるならあの漱石全集は巻き戻さないがしかしそれは追及出来る ; $hypothesis$ = あの漱石全集は巻き戻す ; $proof$ = 
fact9 & fact15 -> int1: あの漱石全集は巻き戻さないがしかし追及出来る; int1 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物は追及出来るということはないなら「巻き戻すしまたぐれる」ということは成り立つ
事実2: あの漱石全集は追及出来る
事実3: ある物は追及出来る
事実4: もしもなにがしかのものは極まりなくないとすると「天狗山であるし加えてそれは短い」ということは成り立たない
事実5: 「あの漱石全集はぐれるということはない」ということは事実だ
事実6: その枡形は追及出来る
事実7: その眼光は巻き戻す
事実8: もし「あの漱石全集は天狗山であるしおまけにそれは短い」ということは成り立たないとしたら「それは短くない」ということは成り立つ
事実9: 「ぐれる」ものはある
事実10: もし仮に「ぐれる」ものはあれば「あの漱石全集は追及出来る」ということは真実である
事実11: 「仮に何らかのものは短くないなら「コンボするしそれは追及出来る」ということは間違いである」ということは事実だ
事実12: 仮に「巻き戻す」物があるとするとあの漱石全集は追及出来る
事実13: あの支配人室はめでたくない
事実14: もし「「なんらかのものはコンボするし追及出来る」ということは確かだ」ということは成り立たないならば追及出来ない
事実15: もしもなにかはぐれるならあの漱石全集は巻き戻さないがしかしそれは追及出来る

仮説: あの漱石全集は巻き戻す
1. 事実9と事実15から、推論1: "あの漱石全集は巻き戻さないがしかし追及出来る"が導かれる
2. 推論1から、仮説が否定される

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