「あの学習計画は程良くない一方で形成し易い」ということは間違っている
fact1: もしこのポピーは癒し難くないなら「その病原微生物は程良くてかつ形成し易い」ということは成り立たない fact2: この表面積は癒し難いということはない fact3: このポピーはアーチ橋である fact4: 仮にこの表面積が間近いが犯し難くないとすればその病原微生物はアーチ橋でない fact5: 「この本科生は後脛骨筋腱炎である」ということは事実である fact6: その病原微生物は後脛骨筋腱炎でないとすれば「春らしいし軍人らしい」ということは成り立たない fact7: 「「後脛骨筋腱炎だし更に後ろ暗い」ということは間違っている」物はある fact8: その病原微生物がアーチ橋でないとしたらこのポピーはアーチ橋でそれは加重平均する fact9: 「「その病原微生物は春らしいし加えて軍人らしい」ということは誤りである」ということは本当であるとすれば軍人らしくない fact10: その病原微生物は化学式だしおまけに癒し難い fact11: もし仮にこの本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしいけどそれは癒し難くない」ということは間違いである fact12: 仮に「この表面積は間近い一方で犯し難くない」ということは事実と異なれば程良くない fact13: もし仮にこの表面積が程良くないとすればあの学習計画は程良くない一方で形成し易い fact14: 仮に何らかのものは加重平均しないとすれば「それが程良くないしさらに形成し易い」ということは間違いだ fact15: もし「なにかは軍人らしくないし加えて癒し難いということはない」ということは間違いであるなら加重平均しない fact16: 仮にこの表面積が程良くないとすればあの学習計画は形成し易い fact17: 「このポピーは軍人らしいがしかし癒し難くない」ということは嘘である fact18: この本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしくないがしかし癒し難い」ということは成り立たない fact19: 仮にこの本科生は後脛骨筋腱炎であるとすれば「このポピーは軍人らしいということはないしそれは癒し難くない」ということは間違いだ fact20: もし仮にこの表面積が間近いし犯し難いとすればその病原微生物はアーチ橋でない fact21: 「この表面積は犯し難くない」ということは成り立つ
void -> assump1: 以下のように仮定する。この表面積は間近いけど犯し難くない; fact4 & assump1 -> int1: その病原微生物はアーチ橋でない; int1 & fact8 -> int2: このポピーはアーチ橋であるしそれは加重平均する; int2 -> int3: 「このポピーは加重平均する」ということは本当だ; fact15 -> int4: もし仮に「このポピーは軍人らしくないしおまけに癒し難くない」ということは成り立たないならそれは加重平均しない; fact5 & fact19 -> int5: 「このポピーは軍人らしくないし加えて癒し難くない」ということは成り立たない; int4 & int5 -> int6: このポピーは加重平均するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この表面積は間近いけれど犯し難くない」ということは成り立たない; int8 & fact12 -> int9: この表面積は程良くない; int9 & fact13 -> hypothesis;
「あの学習計画は程良くない一方でそれは形成し易い」ということは誤っている
fact24 -> int10: もし仮にあの学習計画は加重平均しないとすると「程良くないがしかし形成し易い」ということは嘘だ;
$facts$ = fact1: もしこのポピーは癒し難くないなら「その病原微生物は程良くてかつ形成し易い」ということは成り立たない fact2: この表面積は癒し難いということはない fact3: このポピーはアーチ橋である fact4: 仮にこの表面積が間近いが犯し難くないとすればその病原微生物はアーチ橋でない fact5: 「この本科生は後脛骨筋腱炎である」ということは事実である fact6: その病原微生物は後脛骨筋腱炎でないとすれば「春らしいし軍人らしい」ということは成り立たない fact7: 「「後脛骨筋腱炎だし更に後ろ暗い」ということは間違っている」物はある fact8: その病原微生物がアーチ橋でないとしたらこのポピーはアーチ橋でそれは加重平均する fact9: 「「その病原微生物は春らしいし加えて軍人らしい」ということは誤りである」ということは本当であるとすれば軍人らしくない fact10: その病原微生物は化学式だしおまけに癒し難い fact11: もし仮にこの本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしいけどそれは癒し難くない」ということは間違いである fact12: 仮に「この表面積は間近い一方で犯し難くない」ということは事実と異なれば程良くない fact13: もし仮にこの表面積が程良くないとすればあの学習計画は程良くない一方で形成し易い fact14: 仮に何らかのものは加重平均しないとすれば「それが程良くないしさらに形成し易い」ということは間違いだ fact15: もし「なにかは軍人らしくないし加えて癒し難いということはない」ということは間違いであるなら加重平均しない fact16: 仮にこの表面積が程良くないとすればあの学習計画は形成し易い fact17: 「このポピーは軍人らしいがしかし癒し難くない」ということは嘘である fact18: この本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしくないがしかし癒し難い」ということは成り立たない fact19: 仮にこの本科生は後脛骨筋腱炎であるとすれば「このポピーは軍人らしいということはないしそれは癒し難くない」ということは間違いだ fact20: もし仮にこの表面積が間近いし犯し難いとすればその病原微生物はアーチ橋でない fact21: 「この表面積は犯し難くない」ということは成り立つ ; $hypothesis$ = 「あの学習計画は程良くない一方で形成し易い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この表面積は間近いけど犯し難くない; fact4 & assump1 -> int1: その病原微生物はアーチ橋でない; int1 & fact8 -> int2: このポピーはアーチ橋であるしそれは加重平均する; int2 -> int3: 「このポピーは加重平均する」ということは本当だ; fact15 -> int4: もし仮に「このポピーは軍人らしくないしおまけに癒し難くない」ということは成り立たないならそれは加重平均しない; fact5 & fact19 -> int5: 「このポピーは軍人らしくないし加えて癒し難くない」ということは成り立たない; int4 & int5 -> int6: このポピーは加重平均するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この表面積は間近いけれど犯し難くない」ということは成り立たない; int8 & fact12 -> int9: この表面積は程良くない; int9 & fact13 -> hypothesis; __DISPROVED__
事実1: もしこのポピーは癒し難くないなら「その病原微生物は程良くてかつ形成し易い」ということは成り立たない
事実2: この表面積は癒し難いということはない
事実3: このポピーはアーチ橋である
事実4: 仮にこの表面積が間近いが犯し難くないとすればその病原微生物はアーチ橋でない
事実5: 「この本科生は後脛骨筋腱炎である」ということは事実である
事実6: その病原微生物は後脛骨筋腱炎でないとすれば「春らしいし軍人らしい」ということは成り立たない
事実7: 「「後脛骨筋腱炎だし更に後ろ暗い」ということは間違っている」物はある
事実8: その病原微生物がアーチ橋でないとしたらこのポピーはアーチ橋でそれは加重平均する
事実9: 「「その病原微生物は春らしいし加えて軍人らしい」ということは誤りである」ということは本当であるとすれば軍人らしくない
事実10: その病原微生物は化学式だしおまけに癒し難い
事実11: もし仮にこの本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしいけどそれは癒し難くない」ということは間違いである
事実12: 仮に「この表面積は間近い一方で犯し難くない」ということは事実と異なれば程良くない
事実13: もし仮にこの表面積が程良くないとすればあの学習計画は程良くない一方で形成し易い
事実14: 仮に何らかのものは加重平均しないとすれば「それが程良くないしさらに形成し易い」ということは間違いだ
事実15: もし「なにかは軍人らしくないし加えて癒し難いということはない」ということは間違いであるなら加重平均しない
事実16: 仮にこの表面積が程良くないとすればあの学習計画は形成し易い
事実17: 「このポピーは軍人らしいがしかし癒し難くない」ということは嘘である
事実18: この本科生は後脛骨筋腱炎であるとすると「このポピーは軍人らしくないがしかし癒し難い」ということは成り立たない
事実19: 仮にこの本科生は後脛骨筋腱炎であるとすれば「このポピーは軍人らしいということはないしそれは癒し難くない」ということは間違いだ
事実20: もし仮にこの表面積が間近いし犯し難いとすればその病原微生物はアーチ橋でない
事実21: 「この表面積は犯し難くない」ということは成り立つ

仮説: 「あの学習計画は程良くない一方で形成し易い」ということは間違っている
1. 仮定1: 以下のように仮定する。この表面積は間近いけど犯し難くない
2. 事実4と仮定1から、推論1: "その病原微生物はアーチ橋でない"が導かれる
3. 推論1と事実8から、推論2: "このポピーはアーチ橋であるしそれは加重平均する"が導かれる
4. 推論2から、推論3: "「このポピーは加重平均する」ということは本当だ"が導かれる
5. 事実15から、推論4: "もし仮に「このポピーは軍人らしくないしおまけに癒し難くない」ということは成り立たないならそれは加重平均しない"が導かれる
6. 事実5と事実19から、推論5: "「このポピーは軍人らしくないし加えて癒し難くない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "このポピーは加重平均するということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この表面積は間近いけれど犯し難くない」ということは成り立たない"が導かれる
10. 推論8と事実12から、推論9: "この表面積は程良くない"が導かれる
11. 推論9と事実13から、仮説が否定される

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