この海坊主は甘糟物語でないけれど学校教育用である
fact1: 「「この海坊主は甘糟物語であるしそれは学校教育用である」ということは成り立つ」ということは事実と異なる fact2: そのタンクは二百五十六メガバイト以上だ fact3: そのレシピは学校教育用だ fact4: 仮にこの地図は裾綿であるとすると「この海坊主は二百五十六メガバイト以上である」ということは本当である fact5: そのセットアップは還付加算金である fact6: 「そのタンクは学校教育用でない一方で還付加算金だ」ということは成り立たない fact7: 仮にこの地図が還付加算金であるけど並べ立てないとしたらそのレシピは二百五十六メガバイト以上である fact8: 「この地図は還付加算金であるが並べ立てない」ということは本当だ fact9: もしもこの地図は還付加算金だとすれば「そのレシピは二百五十六メガバイト以上であるしまた還付加算金だ」ということは誤りだ fact10: もし仮にこの海坊主が甘糟物語である一方でそれが還付加算金でないならばこの地図は並べ立てる fact11: この海坊主は戦場視察である fact12: この地図は還付加算金だ fact13: 仮に「そのタンクは学校教育用だ」ということは成り立つとすれば「この海坊主は甘糟物語でないがしかしそれは学校教育用だ」ということは成り立たない fact14: 何もかもは裾綿でない fact15: もしもそのレシピが二百五十六メガバイト以上だとしたらそのタンクは学校教育用である fact16: もしそのレシピは二百五十六メガバイト以上だとすると「この海坊主は学校教育用でないけど二百五十六メガバイト以上だ」ということは成り立たない fact17: この海坊主は惨いがしかし申し訳無くない
fact7 & fact8 -> int1: 「そのレシピは二百五十六メガバイト以上である」ということは事実である; int1 & fact15 -> int2: そのタンクは学校教育用である; int2 & fact13 -> hypothesis;
fact7 & fact8 -> int1: {B}{b}; int1 & fact15 -> int2: {A}{c}; int2 & fact13 -> hypothesis;
その表出対象は還付加算金である
fact18 -> int3: そのレシピは裾綿でない;
$facts$ = fact1: 「「この海坊主は甘糟物語であるしそれは学校教育用である」ということは成り立つ」ということは事実と異なる fact2: そのタンクは二百五十六メガバイト以上だ fact3: そのレシピは学校教育用だ fact4: 仮にこの地図は裾綿であるとすると「この海坊主は二百五十六メガバイト以上である」ということは本当である fact5: そのセットアップは還付加算金である fact6: 「そのタンクは学校教育用でない一方で還付加算金だ」ということは成り立たない fact7: 仮にこの地図が還付加算金であるけど並べ立てないとしたらそのレシピは二百五十六メガバイト以上である fact8: 「この地図は還付加算金であるが並べ立てない」ということは本当だ fact9: もしもこの地図は還付加算金だとすれば「そのレシピは二百五十六メガバイト以上であるしまた還付加算金だ」ということは誤りだ fact10: もし仮にこの海坊主が甘糟物語である一方でそれが還付加算金でないならばこの地図は並べ立てる fact11: この海坊主は戦場視察である fact12: この地図は還付加算金だ fact13: 仮に「そのタンクは学校教育用だ」ということは成り立つとすれば「この海坊主は甘糟物語でないがしかしそれは学校教育用だ」ということは成り立たない fact14: 何もかもは裾綿でない fact15: もしもそのレシピが二百五十六メガバイト以上だとしたらそのタンクは学校教育用である fact16: もしそのレシピは二百五十六メガバイト以上だとすると「この海坊主は学校教育用でないけど二百五十六メガバイト以上だ」ということは成り立たない fact17: この海坊主は惨いがしかし申し訳無くない ; $hypothesis$ = この海坊主は甘糟物語でないけれど学校教育用である ; $proof$ = 
fact7 & fact8 -> int1: 「そのレシピは二百五十六メガバイト以上である」ということは事実である; int1 & fact15 -> int2: そのタンクは学校教育用である; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: 「「この海坊主は甘糟物語であるしそれは学校教育用である」ということは成り立つ」ということは事実と異なる
事実2: そのタンクは二百五十六メガバイト以上だ
事実3: そのレシピは学校教育用だ
事実4: 仮にこの地図は裾綿であるとすると「この海坊主は二百五十六メガバイト以上である」ということは本当である
事実5: そのセットアップは還付加算金である
事実6: 「そのタンクは学校教育用でない一方で還付加算金だ」ということは成り立たない
事実7: 仮にこの地図が還付加算金であるけど並べ立てないとしたらそのレシピは二百五十六メガバイト以上である
事実8: 「この地図は還付加算金であるが並べ立てない」ということは本当だ
事実9: もしもこの地図は還付加算金だとすれば「そのレシピは二百五十六メガバイト以上であるしまた還付加算金だ」ということは誤りだ
事実10: もし仮にこの海坊主が甘糟物語である一方でそれが還付加算金でないならばこの地図は並べ立てる
事実11: この海坊主は戦場視察である
事実12: この地図は還付加算金だ
事実13: 仮に「そのタンクは学校教育用だ」ということは成り立つとすれば「この海坊主は甘糟物語でないがしかしそれは学校教育用だ」ということは成り立たない
事実14: 何もかもは裾綿でない
事実15: もしもそのレシピが二百五十六メガバイト以上だとしたらそのタンクは学校教育用である
事実16: もしそのレシピは二百五十六メガバイト以上だとすると「この海坊主は学校教育用でないけど二百五十六メガバイト以上だ」ということは成り立たない
事実17: この海坊主は惨いがしかし申し訳無くない

仮説: この海坊主は甘糟物語でないけれど学校教育用である
1. 事実7と事実8から、推論1: "「そのレシピは二百五十六メガバイト以上である」ということは事実である"が導かれる
2. 推論1と事実15から、推論2: "そのタンクは学校教育用である"が導かれる
3. 推論2と事実13から、仮説が否定される

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