「その満潮は短距離戦でないかもしくは寄託しないかもしくは両方ともだ」ということは間違っている
fact1: もし仮になにかは二年坂でないとすればＨＯＤテストでない fact2: その中央署はＨＯＤテストである fact3: その満潮は短距離戦だ fact4: もしもあるものは患者チェックであるとしたら「それは知りゃするしおまけに二年坂でない」ということは成り立たない fact5: もし「その満潮は短距離戦であるかそれは寄託しないかもしくは両方ともだ」ということは成り立たないとするとその無益的記載事項は知りゃする fact6: 仮に「なにがしかのものは患者チェックでないが二年坂である」ということは成り立たないとするとＨＯＤテストでない fact7: この儀式用は二年坂でないならばＨＯＤテストでない fact8: もし「「知りゃするし二年坂でない」ということは間違っている」ものがあるとするとその無益的記載事項は二年坂である fact9: もし仮に「ＨＯＤテストだということはない」ものがあるならばあの儀式用は患者チェックである fact10: もし「その満潮は短距離戦でないかもしくは寄託しないかどちらもだ」ということは嘘ならばあの無益的記載事項は知りゃする fact11: もしその中央署がＨＯＤテストであるとするとこの儀式用はＨＯＤテストである fact12: もし仮に「その無益的記載事項は知りゃする」ということは成り立つとしたら「この儀式用は患者チェックでないけれど二年坂だ」ということは誤っている
void -> assump1: 以下のように仮定する。「その満潮は短距離戦でないかあるいは寄託しない」ということは成り立たない; fact10 & assump1 -> int1: その無益的記載事項は知りゃする; int1 & fact12 -> int2: 「この儀式用は患者チェックだということはないけれど二年坂である」ということは間違いである; fact6 -> int3: 「この儀式用は患者チェックでないがそれは二年坂だ」ということは確かでないならＨＯＤテストでない; int2 & int3 -> int4: この儀式用はＨＯＤテストだということはない; fact11 & fact2 -> int5: 「この儀式用はＨＯＤテストである」ということは成り立つ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その満潮は短距離戦でないかもしくはそれは寄託しない」ということは事実と異なる
fact14 -> int7: 仮にこの儀式用は患者チェックであるとすると「「知りゃするが二年坂だということはない」ということは成り立つ」ということは嘘だ;
$facts$ = fact1: もし仮になにかは二年坂でないとすればＨＯＤテストでない fact2: その中央署はＨＯＤテストである fact3: その満潮は短距離戦だ fact4: もしもあるものは患者チェックであるとしたら「それは知りゃするしおまけに二年坂でない」ということは成り立たない fact5: もし「その満潮は短距離戦であるかそれは寄託しないかもしくは両方ともだ」ということは成り立たないとするとその無益的記載事項は知りゃする fact6: 仮に「なにがしかのものは患者チェックでないが二年坂である」ということは成り立たないとするとＨＯＤテストでない fact7: この儀式用は二年坂でないならばＨＯＤテストでない fact8: もし「「知りゃするし二年坂でない」ということは間違っている」ものがあるとするとその無益的記載事項は二年坂である fact9: もし仮に「ＨＯＤテストだということはない」ものがあるならばあの儀式用は患者チェックである fact10: もし「その満潮は短距離戦でないかもしくは寄託しないかどちらもだ」ということは嘘ならばあの無益的記載事項は知りゃする fact11: もしその中央署がＨＯＤテストであるとするとこの儀式用はＨＯＤテストである fact12: もし仮に「その無益的記載事項は知りゃする」ということは成り立つとしたら「この儀式用は患者チェックでないけれど二年坂だ」ということは誤っている ; $hypothesis$ = 「その満潮は短距離戦でないかもしくは寄託しないかもしくは両方ともだ」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「その満潮は短距離戦でないかあるいは寄託しない」ということは成り立たない; fact10 & assump1 -> int1: その無益的記載事項は知りゃする; int1 & fact12 -> int2: 「この儀式用は患者チェックだということはないけれど二年坂である」ということは間違いである; fact6 -> int3: 「この儀式用は患者チェックでないがそれは二年坂だ」ということは確かでないならＨＯＤテストでない; int2 & int3 -> int4: この儀式用はＨＯＤテストだということはない; fact11 & fact2 -> int5: 「この儀式用はＨＯＤテストである」ということは成り立つ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは二年坂でないとすればＨＯＤテストでない
事実2: その中央署はＨＯＤテストである
事実3: その満潮は短距離戦だ
事実4: もしもあるものは患者チェックであるとしたら「それは知りゃするしおまけに二年坂でない」ということは成り立たない
事実5: もし「その満潮は短距離戦であるかそれは寄託しないかもしくは両方ともだ」ということは成り立たないとするとその無益的記載事項は知りゃする
事実6: 仮に「なにがしかのものは患者チェックでないが二年坂である」ということは成り立たないとするとＨＯＤテストでない
事実7: この儀式用は二年坂でないならばＨＯＤテストでない
事実8: もし「「知りゃするし二年坂でない」ということは間違っている」ものがあるとするとその無益的記載事項は二年坂である
事実9: もし仮に「ＨＯＤテストだということはない」ものがあるならばあの儀式用は患者チェックである
事実10: もし「その満潮は短距離戦でないかもしくは寄託しないかどちらもだ」ということは嘘ならばあの無益的記載事項は知りゃする
事実11: もしその中央署がＨＯＤテストであるとするとこの儀式用はＨＯＤテストである
事実12: もし仮に「その無益的記載事項は知りゃする」ということは成り立つとしたら「この儀式用は患者チェックでないけれど二年坂だ」ということは誤っている

仮説: 「その満潮は短距離戦でないかもしくは寄託しないかもしくは両方ともだ」ということは間違っている
1. 仮定1: 以下のように仮定する。「その満潮は短距離戦でないかあるいは寄託しない」ということは成り立たない
2. 事実10と仮定1から、推論1: "その無益的記載事項は知りゃする"が導かれる
3. 推論1と事実12から、推論2: "「この儀式用は患者チェックだということはないけれど二年坂である」ということは間違いである"が導かれる
4. 事実6から、推論3: "「この儀式用は患者チェックでないがそれは二年坂だ」ということは確かでないならＨＯＤテストでない"が導かれる
5. 推論2と推論3から、推論4: "この儀式用はＨＯＤテストだということはない"が導かれる
6. 事実11と事実2から、推論5: "「この儀式用はＨＯＤテストである」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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