「この構成図が神経系統でないとするとこのスライスは一新するかあるいは静脈注射しないかもしくはどちらもである」ということは間違っている
fact1: もしあのテイスティングが静脈注射しないとすればこのスライスは御若いかまたはそれは白々しかない fact2: この構成図は白々しいか下ろし易くないか両方だ fact3: このスライスは一新するかあるいは静脈注射するか両方ともである fact4: もし「白々しいかあるいは御若い」物があればこの構成図は下ろし易い fact5: この構成図は一新する fact6: もしもこの構成図が神経系統だとするとこのスライスは一新するかそれは静脈注射しない fact7: あのテイスティングは白々しいかもしくは神経系統であるか両方だ fact8: 仮にあのテイスティングが白々しかないとしたらこのスライスは一新するかあるいはそれは静脈注射する fact9: このスライスは神経系統だ fact10: この構成図は満員である fact11: 規則正しいものは擦れ違う fact12: もしもこの滲出性が擦れ違えば静脈注射する fact13: もしこの構成図が下ろし易くないとしたらこのスライスは静脈注射するかあるいは神経系統でない fact14: もしもあのテイスティングが白々しかないとするとこのスライスは一新するかまたは静脈注射するということはないかあるいは両方である fact15: もしなにがしかのものが御若いとすればこの構成図は下ろし易い fact16: このスライスは得られ難い fact17: その実習生は神経系統でない fact18: この構成図が神経系統でないならばあのスライスは一新するかそれは静脈注射するかあるいは両方ともである fact19: もし仮にこのスライスが静脈注射しないならこの構成図は神経系統であるかあるいは一新しない fact20: その日付けデータは下ろし易い fact21: 下ろし易いものは神経系統だ fact22: もしある物は一新するなら「静脈注射する」ということは間違っているということはない
void -> assump1: 以下のように仮定する。あのテイスティングは白々しい; assump1 -> int1: あのテイスティングは白々しいか御若いかもしくは両方である; int1 -> int2: 白々しいかもしくは御若いものはある; int2 & fact4 -> int3: この構成図は下ろし易い; fact21 -> int4: もし仮にこの構成図が下ろし易いなら神経系統である; int3 & int4 -> int5: 「この構成図は神経系統だ」ということは確かだ; void -> assump2: 以下のように仮定する。この構成図は神経系統だということはない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのテイスティングは白々しかない; int7 & fact14 -> int8: このスライスは一新するかあるいは静脈注射するということはないかどちらもだ; [assump2] & int8 -> hypothesis;
$facts$ = fact1: もしあのテイスティングが静脈注射しないとすればこのスライスは御若いかまたはそれは白々しかない fact2: この構成図は白々しいか下ろし易くないか両方だ fact3: このスライスは一新するかあるいは静脈注射するか両方ともである fact4: もし「白々しいかあるいは御若い」物があればこの構成図は下ろし易い fact5: この構成図は一新する fact6: もしもこの構成図が神経系統だとするとこのスライスは一新するかそれは静脈注射しない fact7: あのテイスティングは白々しいかもしくは神経系統であるか両方だ fact8: 仮にあのテイスティングが白々しかないとしたらこのスライスは一新するかあるいはそれは静脈注射する fact9: このスライスは神経系統だ fact10: この構成図は満員である fact11: 規則正しいものは擦れ違う fact12: もしもこの滲出性が擦れ違えば静脈注射する fact13: もしこの構成図が下ろし易くないとしたらこのスライスは静脈注射するかあるいは神経系統でない fact14: もしもあのテイスティングが白々しかないとするとこのスライスは一新するかまたは静脈注射するということはないかあるいは両方である fact15: もしなにがしかのものが御若いとすればこの構成図は下ろし易い fact16: このスライスは得られ難い fact17: その実習生は神経系統でない fact18: この構成図が神経系統でないならばあのスライスは一新するかそれは静脈注射するかあるいは両方ともである fact19: もし仮にこのスライスが静脈注射しないならこの構成図は神経系統であるかあるいは一新しない fact20: その日付けデータは下ろし易い fact21: 下ろし易いものは神経系統だ fact22: もしある物は一新するなら「静脈注射する」ということは間違っているということはない ; $hypothesis$ = 「この構成図が神経系統でないとするとこのスライスは一新するかあるいは静脈注射しないかもしくはどちらもである」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのテイスティングは白々しい; assump1 -> int1: あのテイスティングは白々しいか御若いかもしくは両方である; int1 -> int2: 白々しいかもしくは御若いものはある; int2 & fact4 -> int3: この構成図は下ろし易い; fact21 -> int4: もし仮にこの構成図が下ろし易いなら神経系統である; int3 & int4 -> int5: 「この構成図は神経系統だ」ということは確かだ; void -> assump2: 以下のように仮定する。この構成図は神経系統だということはない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのテイスティングは白々しかない; int7 & fact14 -> int8: このスライスは一新するかあるいは静脈注射するということはないかどちらもだ; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: もしあのテイスティングが静脈注射しないとすればこのスライスは御若いかまたはそれは白々しかない
事実2: この構成図は白々しいか下ろし易くないか両方だ
事実3: このスライスは一新するかあるいは静脈注射するか両方ともである
事実4: もし「白々しいかあるいは御若い」物があればこの構成図は下ろし易い
事実5: この構成図は一新する
事実6: もしもこの構成図が神経系統だとするとこのスライスは一新するかそれは静脈注射しない
事実7: あのテイスティングは白々しいかもしくは神経系統であるか両方だ
事実8: 仮にあのテイスティングが白々しかないとしたらこのスライスは一新するかあるいはそれは静脈注射する
事実9: このスライスは神経系統だ
事実10: この構成図は満員である
事実11: 規則正しいものは擦れ違う
事実12: もしもこの滲出性が擦れ違えば静脈注射する
事実13: もしこの構成図が下ろし易くないとしたらこのスライスは静脈注射するかあるいは神経系統でない
事実14: もしもあのテイスティングが白々しかないとするとこのスライスは一新するかまたは静脈注射するということはないかあるいは両方である
事実15: もしなにがしかのものが御若いとすればこの構成図は下ろし易い
事実16: このスライスは得られ難い
事実17: その実習生は神経系統でない
事実18: この構成図が神経系統でないならばあのスライスは一新するかそれは静脈注射するかあるいは両方ともである
事実19: もし仮にこのスライスが静脈注射しないならこの構成図は神経系統であるかあるいは一新しない
事実20: その日付けデータは下ろし易い
事実21: 下ろし易いものは神経系統だ
事実22: もしある物は一新するなら「静脈注射する」ということは間違っているということはない

仮説: 「この構成図が神経系統でないとするとこのスライスは一新するかあるいは静脈注射しないかもしくはどちらもである」ということは間違っている
1. 仮定1: 以下のように仮定する。あのテイスティングは白々しい
2. 仮定1から、推論1: "あのテイスティングは白々しいか御若いかもしくは両方である"が導かれる
3. 推論1から、推論2: "白々しいかもしくは御若いものはある"が導かれる
4. 推論2と事実4から、推論3: "この構成図は下ろし易い"が導かれる
5. 事実21から、推論4: "もし仮にこの構成図が下ろし易いなら神経系統である"が導かれる
6. 推論3と推論4から、推論5: "「この構成図は神経系統だ」ということは確かだ"が導かれる
7. 仮定2: 以下のように仮定する。この構成図は神経系統だということはない
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "あのテイスティングは白々しかない"が導かれる
10. 推論7と事実14から、推論8: "このスライスは一新するかあるいは静脈注射するということはないかどちらもだ"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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