このタイムテーブルは改元しない
fact1: もしもその造影晩期相がオプティミストだとしたら意味深い fact2: もしなにがしかの物は閉店でないとすると意味深いしそれに援兵である fact3: もしも「あの茸栽培は意味深い」ということは確かならば「あの最北端は多世界論者達だがしかしオプティミストであるということはない」ということは成り立たない fact4: このタイムテーブルは許し難い fact5: このタイムテーブルがオプティミストだとすれば考察結果だ fact6: 全ては御宜しいということはない fact7: すべては多世界論者達でないけどオプティミストである fact8: なんらかのものが意味深いならば援兵だ fact9: その造影晩期相は多世界論者達でない fact10: 仮に何かは波打つとすれば訴え掛ける fact11: なんらかのものは引き上げるがしかし内閣総理大臣でないとしたら閉店でない fact12: 仮にその造影晩期相は援兵であるなら「このタイムテーブルは改元する」ということは間違いであるということはない fact13: このタイムテーブルはオプティミストである fact14: すべては乾かない fact15: もしその造影晩期相はＳＰＮであるならばそれは読み落とす
fact7 -> int1: その造影晩期相は多世界論者達でないけれどそれはオプティミストである; int1 -> int2: その造影晩期相はオプティミストだ; int2 & fact1 -> int3: 「その造影晩期相は意味深くない」ということは成り立たない; fact8 -> int4: その造影晩期相が意味深いとすると援兵である; int3 & int4 -> int5: その造影晩期相は援兵だ; int5 & fact12 -> hypothesis;
このタイムテーブルは改元しない
fact18 -> int6: もし仮にあの茸栽培が閉店だということはないとしたらそれは意味深いし援兵である; fact16 -> int7: もしあの茸栽培が引き上げるがそれは内閣総理大臣でないならば「それは閉店でない」ということは真実だ;
$facts$ = fact1: もしもその造影晩期相がオプティミストだとしたら意味深い fact2: もしなにがしかの物は閉店でないとすると意味深いしそれに援兵である fact3: もしも「あの茸栽培は意味深い」ということは確かならば「あの最北端は多世界論者達だがしかしオプティミストであるということはない」ということは成り立たない fact4: このタイムテーブルは許し難い fact5: このタイムテーブルがオプティミストだとすれば考察結果だ fact6: 全ては御宜しいということはない fact7: すべては多世界論者達でないけどオプティミストである fact8: なんらかのものが意味深いならば援兵だ fact9: その造影晩期相は多世界論者達でない fact10: 仮に何かは波打つとすれば訴え掛ける fact11: なんらかのものは引き上げるがしかし内閣総理大臣でないとしたら閉店でない fact12: 仮にその造影晩期相は援兵であるなら「このタイムテーブルは改元する」ということは間違いであるということはない fact13: このタイムテーブルはオプティミストである fact14: すべては乾かない fact15: もしその造影晩期相はＳＰＮであるならばそれは読み落とす ; $hypothesis$ = このタイムテーブルは改元しない ; $proof$ = 
fact7 -> int1: その造影晩期相は多世界論者達でないけれどそれはオプティミストである; int1 -> int2: その造影晩期相はオプティミストだ; int2 & fact1 -> int3: 「その造影晩期相は意味深くない」ということは成り立たない; fact8 -> int4: その造影晩期相が意味深いとすると援兵である; int3 & int4 -> int5: その造影晩期相は援兵だ; int5 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもその造影晩期相がオプティミストだとしたら意味深い
事実2: もしなにがしかの物は閉店でないとすると意味深いしそれに援兵である
事実3: もしも「あの茸栽培は意味深い」ということは確かならば「あの最北端は多世界論者達だがしかしオプティミストであるということはない」ということは成り立たない
事実4: このタイムテーブルは許し難い
事実5: このタイムテーブルがオプティミストだとすれば考察結果だ
事実6: 全ては御宜しいということはない
事実7: すべては多世界論者達でないけどオプティミストである
事実8: なんらかのものが意味深いならば援兵だ
事実9: その造影晩期相は多世界論者達でない
事実10: 仮に何かは波打つとすれば訴え掛ける
事実11: なんらかのものは引き上げるがしかし内閣総理大臣でないとしたら閉店でない
事実12: 仮にその造影晩期相は援兵であるなら「このタイムテーブルは改元する」ということは間違いであるということはない
事実13: このタイムテーブルはオプティミストである
事実14: すべては乾かない
事実15: もしその造影晩期相はＳＰＮであるならばそれは読み落とす

仮説: このタイムテーブルは改元しない
1. 事実7から、推論1: "その造影晩期相は多世界論者達でないけれどそれはオプティミストである"が導かれる
2. 推論1から、推論2: "その造影晩期相はオプティミストだ"が導かれる
3. 推論2と事実1から、推論3: "「その造影晩期相は意味深くない」ということは成り立たない"が導かれる
4. 事実8から、推論4: "その造影晩期相が意味深いとすると援兵である"が導かれる
5. 推論3と推論4から、推論5: "その造影晩期相は援兵だ"が導かれる
6. 推論5と事実12から、仮説が否定される

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