「「もしもその通学生が選進しないとすればあのミリシアがクリームだししかも慕わしい」ということは成り立つ」ということは正しくない
fact1: そのミリシアは慕わしいししかもそれは酸い fact2: その通学生は慕わしくない fact3: もしもなんらかの物が戻し入れしないしかつ頻発しないなら恐れ多くない fact4: 仮にとある物が選進しなくて加えてクリームでないとすると戻し入れしない fact5: 「そのミリシアは頻発しない」ということは事実である fact6: 仮に何らかの物が戻し入れしない一方で頻発すればそれは恐れ多くない fact7: もしもそのミリシアがごつかないとすると戻し入れしなくてそれに頻発するということはない fact8: そのミリシアは意味深い fact9: もしも何らかの物が頻発しないとしたらそれは特集しなくて煩わしくない fact10: 仮にそのミリシアがごついならばそれはクリームだ fact11: もしそのミリシアが戻し入れしないけれど頻発するならそれは恐れ多くない fact12: そのミリシアが恐れ多くないならばその通学生は選進する fact13: もし仮にその通学生が選進するとするとそれは恐れ多い
void -> assump2: 以下のように仮定する。そのミリシアはごついということはない; fact7 & assump2 -> int1: そのミリシアは戻し入れしないしそれは頻発しない; fact3 -> int2: もし仮にそのミリシアは戻し入れするということはないしさらに頻発するということはないとすると「それは恐れ多くない」ということは正しい; int1 & int2 -> int3: そのミリシアは恐れ多くない; int3 & fact12 -> int4: その通学生は選進する; void -> assump1: 以下のように仮定する。その通学生は選進しない; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「そのミリシアはごつい」ということは成り立つ; int6 & fact10 -> int7: そのミリシアはクリームだ; fact1 -> int8: そのミリシアは慕わしい; int7 & int8 -> int9: そのミリシアはクリームであるしそれにそれは慕わしい; [assump1] & int9 -> hypothesis;
もしもその通学生が頻発しないとしたら特集しなくておまけに煩わしくない
fact14 -> hypothesis;
$facts$ = fact1: そのミリシアは慕わしいししかもそれは酸い fact2: その通学生は慕わしくない fact3: もしもなんらかの物が戻し入れしないしかつ頻発しないなら恐れ多くない fact4: 仮にとある物が選進しなくて加えてクリームでないとすると戻し入れしない fact5: 「そのミリシアは頻発しない」ということは事実である fact6: 仮に何らかの物が戻し入れしない一方で頻発すればそれは恐れ多くない fact7: もしもそのミリシアがごつかないとすると戻し入れしなくてそれに頻発するということはない fact8: そのミリシアは意味深い fact9: もしも何らかの物が頻発しないとしたらそれは特集しなくて煩わしくない fact10: 仮にそのミリシアがごついならばそれはクリームだ fact11: もしそのミリシアが戻し入れしないけれど頻発するならそれは恐れ多くない fact12: そのミリシアが恐れ多くないならばその通学生は選進する fact13: もし仮にその通学生が選進するとするとそれは恐れ多い ; $hypothesis$ = 「「もしもその通学生が選進しないとすればあのミリシアがクリームだししかも慕わしい」ということは成り立つ」ということは正しくない ; $proof$ = 
void -> assump2: 以下のように仮定する。そのミリシアはごついということはない; fact7 & assump2 -> int1: そのミリシアは戻し入れしないしそれは頻発しない; fact3 -> int2: もし仮にそのミリシアは戻し入れするということはないしさらに頻発するということはないとすると「それは恐れ多くない」ということは正しい; int1 & int2 -> int3: そのミリシアは恐れ多くない; int3 & fact12 -> int4: その通学生は選進する; void -> assump1: 以下のように仮定する。その通学生は選進しない; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「そのミリシアはごつい」ということは成り立つ; int6 & fact10 -> int7: そのミリシアはクリームだ; fact1 -> int8: そのミリシアは慕わしい; int7 & int8 -> int9: そのミリシアはクリームであるしそれにそれは慕わしい; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: そのミリシアは慕わしいししかもそれは酸い
事実2: その通学生は慕わしくない
事実3: もしもなんらかの物が戻し入れしないしかつ頻発しないなら恐れ多くない
事実4: 仮にとある物が選進しなくて加えてクリームでないとすると戻し入れしない
事実5: 「そのミリシアは頻発しない」ということは事実である
事実6: 仮に何らかの物が戻し入れしない一方で頻発すればそれは恐れ多くない
事実7: もしもそのミリシアがごつかないとすると戻し入れしなくてそれに頻発するということはない
事実8: そのミリシアは意味深い
事実9: もしも何らかの物が頻発しないとしたらそれは特集しなくて煩わしくない
事実10: 仮にそのミリシアがごついならばそれはクリームだ
事実11: もしそのミリシアが戻し入れしないけれど頻発するならそれは恐れ多くない
事実12: そのミリシアが恐れ多くないならばその通学生は選進する
事実13: もし仮にその通学生が選進するとするとそれは恐れ多い

仮説: 「「もしもその通学生が選進しないとすればあのミリシアがクリームだししかも慕わしい」ということは成り立つ」ということは正しくない
1. 仮定2: 以下のように仮定する。そのミリシアはごついということはない
2. 事実7と仮定2から、推論1: "そのミリシアは戻し入れしないしそれは頻発しない"が導かれる
3. 事実3から、推論2: "もし仮にそのミリシアは戻し入れするということはないしさらに頻発するということはないとすると「それは恐れ多くない」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "そのミリシアは恐れ多くない"が導かれる
5. 推論3と事実12から、推論4: "その通学生は選進する"が導かれる
6. 仮定1: 以下のように仮定する。その通学生は選進しない
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「そのミリシアはごつい」ということは成り立つ"が導かれる
9. 推論6と事実10から、推論7: "そのミリシアはクリームだ"が導かれる
10. 事実1から、推論8: "そのミリシアは慕わしい"が導かれる
11. 推論7と推論8から、推論9: "そのミリシアはクリームであるしそれにそれは慕わしい"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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