その陣中見舞いは夥しい
fact1: もしあの理論家達がまごつくとするとその陣中見舞いは夥しい fact2: その五百以上は種菌であるかもしくはそれはトレース出来る fact3: 「あの理論家達は夥しくない」ということは成り立つ fact4: 「そのアーモンドはまごつくということはない」ということは成り立つ fact5: もし仮にその五百以上がトレース出来ないとするとその陣中見舞いは夥しいということはない fact6: もし仮にその五百以上が種菌であるかあるいはそれがトレース出来ないとしたらその陣中見舞いは夥しくない fact7: その陣中見舞いは遜色無いかまたはトレース出来ないかあるいはどちらもだ fact8: 「あの理論家達はまごつくということはない」ということは成り立つ fact9: 「なにがしかのものはトレース出来るけどまごつくということはない」ということは間違いだとするとそれはトレース出来ない fact10: もしも「あの理論家達は種菌だ」ということは事実であるとしたらその陣中見舞いは種菌でない fact11: もしもあの理論家達がまごつかないとすればその五百以上は種菌であるかあるいはトレース出来ないかもしくは両方だ fact12: もしもあの理論家達がまごつくということはないとするとその五百以上は種菌であるかあるいはトレース出来る
fact11 & fact8 -> int1: その五百以上は種菌であるかまたはトレース出来ないかもしくはどちらもである; int1 & fact6 -> hypothesis;
この主文はトレース出来ない
fact13 -> int2: 仮に「この主文はトレース出来るがまごつかない」ということは成り立たないならそれはトレース出来るということはない;
$facts$ = fact1: もしあの理論家達がまごつくとするとその陣中見舞いは夥しい fact2: その五百以上は種菌であるかもしくはそれはトレース出来る fact3: 「あの理論家達は夥しくない」ということは成り立つ fact4: 「そのアーモンドはまごつくということはない」ということは成り立つ fact5: もし仮にその五百以上がトレース出来ないとするとその陣中見舞いは夥しいということはない fact6: もし仮にその五百以上が種菌であるかあるいはそれがトレース出来ないとしたらその陣中見舞いは夥しくない fact7: その陣中見舞いは遜色無いかまたはトレース出来ないかあるいはどちらもだ fact8: 「あの理論家達はまごつくということはない」ということは成り立つ fact9: 「なにがしかのものはトレース出来るけどまごつくということはない」ということは間違いだとするとそれはトレース出来ない fact10: もしも「あの理論家達は種菌だ」ということは事実であるとしたらその陣中見舞いは種菌でない fact11: もしもあの理論家達がまごつかないとすればその五百以上は種菌であるかあるいはトレース出来ないかもしくは両方だ fact12: もしもあの理論家達がまごつくということはないとするとその五百以上は種菌であるかあるいはトレース出来る ; $hypothesis$ = その陣中見舞いは夥しい ; $proof$ = 
fact11 & fact8 -> int1: その五百以上は種菌であるかまたはトレース出来ないかもしくはどちらもである; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあの理論家達がまごつくとするとその陣中見舞いは夥しい
事実2: その五百以上は種菌であるかもしくはそれはトレース出来る
事実3: 「あの理論家達は夥しくない」ということは成り立つ
事実4: 「そのアーモンドはまごつくということはない」ということは成り立つ
事実5: もし仮にその五百以上がトレース出来ないとするとその陣中見舞いは夥しいということはない
事実6: もし仮にその五百以上が種菌であるかあるいはそれがトレース出来ないとしたらその陣中見舞いは夥しくない
事実7: その陣中見舞いは遜色無いかまたはトレース出来ないかあるいはどちらもだ
事実8: 「あの理論家達はまごつくということはない」ということは成り立つ
事実9: 「なにがしかのものはトレース出来るけどまごつくということはない」ということは間違いだとするとそれはトレース出来ない
事実10: もしも「あの理論家達は種菌だ」ということは事実であるとしたらその陣中見舞いは種菌でない
事実11: もしもあの理論家達がまごつかないとすればその五百以上は種菌であるかあるいはトレース出来ないかもしくは両方だ
事実12: もしもあの理論家達がまごつくということはないとするとその五百以上は種菌であるかあるいはトレース出来る

仮説: その陣中見舞いは夥しい
1. 事実11と事実8から、推論1: "その五百以上は種菌であるかまたはトレース出来ないかもしくはどちらもである"が導かれる
2. 推論1と事実6から、仮説が否定される

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