「あの大陸地殻は失わない」ということは成り立つ
fact1: 「あのＡＣＩＤは減ずるけれど差し替えない」ということは間違いだ fact2: もしあのＡＣＩＤが失わないけれど利用され易いとしたらあの大陸地殻は失わない fact3: あのＡＣＩＤは食傷する fact4: この利率年は防げる fact5: 仮にあのＡＣＩＤが利用され易くないとしたらあの大陸地殻は失う fact6: この白血球除去は失わない fact7: 「あのＡＣＩＤは食傷しなくて失うということはない」ということは成り立たない fact8: あのＡＣＩＤは食傷するしそれに利用され易いなら差し替えるということはない fact9: 「この利率年は減ぜないしかつ差し替えるということはない」ということは間違いだ fact10: もし「「あの大陸地殻は差し替えないししかも失わない」ということは成り立つ」ということは成り立たないとすれば「この利率年は失う」ということは本当である fact11: この利率年はバトンタッチするししかも失う fact12: 「この利率年は減ずる一方で差し替えない」ということは成り立つということはない fact13: 「この利率年は減ぜないししかもそれは差し替えるということはない」ということは事実と異なるとするとあのＡＣＩＤは差し替える fact14: その個人面談は差し替えない
void -> assump1: 以下のように仮定する。あのＡＣＩＤは利用され易い; fact3 & assump1 -> int1: あのＡＣＩＤは食傷するししかも利用され易い; int1 & fact8 -> int2: あのＡＣＩＤは差し替えない; fact13 & fact9 -> int3: 「あのＡＣＩＤは差し替える」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＣＩＤは利用され易くない; int5 & fact5 -> hypothesis;
「あの大陸地殻は失わない」ということは成り立つ
$facts$ = fact1: 「あのＡＣＩＤは減ずるけれど差し替えない」ということは間違いだ fact2: もしあのＡＣＩＤが失わないけれど利用され易いとしたらあの大陸地殻は失わない fact3: あのＡＣＩＤは食傷する fact4: この利率年は防げる fact5: 仮にあのＡＣＩＤが利用され易くないとしたらあの大陸地殻は失う fact6: この白血球除去は失わない fact7: 「あのＡＣＩＤは食傷しなくて失うということはない」ということは成り立たない fact8: あのＡＣＩＤは食傷するしそれに利用され易いなら差し替えるということはない fact9: 「この利率年は減ぜないしかつ差し替えるということはない」ということは間違いだ fact10: もし「「あの大陸地殻は差し替えないししかも失わない」ということは成り立つ」ということは成り立たないとすれば「この利率年は失う」ということは本当である fact11: この利率年はバトンタッチするししかも失う fact12: 「この利率年は減ずる一方で差し替えない」ということは成り立つということはない fact13: 「この利率年は減ぜないししかもそれは差し替えるということはない」ということは事実と異なるとするとあのＡＣＩＤは差し替える fact14: その個人面談は差し替えない ; $hypothesis$ = 「あの大陸地殻は失わない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＡＣＩＤは利用され易い; fact3 & assump1 -> int1: あのＡＣＩＤは食傷するししかも利用され易い; int1 & fact8 -> int2: あのＡＣＩＤは差し替えない; fact13 & fact9 -> int3: 「あのＡＣＩＤは差し替える」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＣＩＤは利用され易くない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あのＡＣＩＤは減ずるけれど差し替えない」ということは間違いだ
事実2: もしあのＡＣＩＤが失わないけれど利用され易いとしたらあの大陸地殻は失わない
事実3: あのＡＣＩＤは食傷する
事実4: この利率年は防げる
事実5: 仮にあのＡＣＩＤが利用され易くないとしたらあの大陸地殻は失う
事実6: この白血球除去は失わない
事実7: 「あのＡＣＩＤは食傷しなくて失うということはない」ということは成り立たない
事実8: あのＡＣＩＤは食傷するしそれに利用され易いなら差し替えるということはない
事実9: 「この利率年は減ぜないしかつ差し替えるということはない」ということは間違いだ
事実10: もし「「あの大陸地殻は差し替えないししかも失わない」ということは成り立つ」ということは成り立たないとすれば「この利率年は失う」ということは本当である
事実11: この利率年はバトンタッチするししかも失う
事実12: 「この利率年は減ずる一方で差し替えない」ということは成り立つということはない
事実13: 「この利率年は減ぜないししかもそれは差し替えるということはない」ということは事実と異なるとするとあのＡＣＩＤは差し替える
事実14: その個人面談は差し替えない

仮説: 「あの大陸地殻は失わない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あのＡＣＩＤは利用され易い
2. 事実3と仮定1から、推論1: "あのＡＣＩＤは食傷するししかも利用され易い"が導かれる
3. 推論1と事実8から、推論2: "あのＡＣＩＤは差し替えない"が導かれる
4. 事実13と事実9から、推論3: "「あのＡＣＩＤは差し替える」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのＡＣＩＤは利用され易くない"が導かれる
7. 推論5と事実5から、仮説が否定される

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