このダメージは待ち遠しくない
fact1: 「あの入院手術は新型戦車であるしそれに絞り込む」ということは間違っている fact2: この二十世紀最大は待ち遠しい fact3: あの入院手術は新型戦車であるかあるいは利益貢献度であるということはないかもしくはどちらもだ fact4: もし仮に「あるものは新型戦車であるけれどそれは掘れない」ということは誤りだとするとそれは待ち遠しい fact5: あの入院手術は君らしい fact6: 「もしあの入院手術は掘れるとしたら「このダメージは新型戦車であるけどそれは掘れない」ということは成り立たない」ということは誤っていない fact7: もしあの入院手術は待ち遠しいとしたら「このダメージは君らしいし待ち遠しい」ということは正しくない fact8: 仮に「何かは君らしい一方で掘れない」ということは成り立たないとしたら新型戦車である fact9: あの入院手術は掘れるし君らしい
fact9 -> int1: あの入院手術は掘れる; int1 & fact6 -> int2: 「このダメージは新型戦車であるが掘れない」ということは成り立つということはない; fact4 -> int3: もしも「このダメージは新型戦車だけれどそれは掘れない」ということは誤っているなら待ち遠しい; int2 & int3 -> hypothesis;
fact9 -> int1: {A}{a}; int1 & fact6 -> int2: ¬({D}{b} & ¬{A}{b}); fact4 -> int3: ¬({D}{b} & ¬{A}{b}) -> {C}{b}; int2 & int3 -> hypothesis;
このダメージは待ち遠しいということはない
fact10 -> int4: あるものは新型戦車であるか利益貢献度でない;
$facts$ = fact1: 「あの入院手術は新型戦車であるしそれに絞り込む」ということは間違っている fact2: この二十世紀最大は待ち遠しい fact3: あの入院手術は新型戦車であるかあるいは利益貢献度であるということはないかもしくはどちらもだ fact4: もし仮に「あるものは新型戦車であるけれどそれは掘れない」ということは誤りだとするとそれは待ち遠しい fact5: あの入院手術は君らしい fact6: 「もしあの入院手術は掘れるとしたら「このダメージは新型戦車であるけどそれは掘れない」ということは成り立たない」ということは誤っていない fact7: もしあの入院手術は待ち遠しいとしたら「このダメージは君らしいし待ち遠しい」ということは正しくない fact8: 仮に「何かは君らしい一方で掘れない」ということは成り立たないとしたら新型戦車である fact9: あの入院手術は掘れるし君らしい ; $hypothesis$ = このダメージは待ち遠しくない ; $proof$ = 
fact9 -> int1: あの入院手術は掘れる; int1 & fact6 -> int2: 「このダメージは新型戦車であるが掘れない」ということは成り立つということはない; fact4 -> int3: もしも「このダメージは新型戦車だけれどそれは掘れない」ということは誤っているなら待ち遠しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「あの入院手術は新型戦車であるしそれに絞り込む」ということは間違っている
事実2: この二十世紀最大は待ち遠しい
事実3: あの入院手術は新型戦車であるかあるいは利益貢献度であるということはないかもしくはどちらもだ
事実4: もし仮に「あるものは新型戦車であるけれどそれは掘れない」ということは誤りだとするとそれは待ち遠しい
事実5: あの入院手術は君らしい
事実6: 「もしあの入院手術は掘れるとしたら「このダメージは新型戦車であるけどそれは掘れない」ということは成り立たない」ということは誤っていない
事実7: もしあの入院手術は待ち遠しいとしたら「このダメージは君らしいし待ち遠しい」ということは正しくない
事実8: 仮に「何かは君らしい一方で掘れない」ということは成り立たないとしたら新型戦車である
事実9: あの入院手術は掘れるし君らしい

仮説: このダメージは待ち遠しくない
1. 事実9から、推論1: "あの入院手術は掘れる"が導かれる
2. 推論1と事実6から、推論2: "「このダメージは新型戦車であるが掘れない」ということは成り立つということはない"が導かれる
3. 事実4から、推論3: "もしも「このダメージは新型戦車だけれどそれは掘れない」ということは誤っているなら待ち遠しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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