この決戦場は妄説である
fact1: この決戦場は霊薬であるとすれば妄説だ fact2: あのコヨーテは霊薬である fact3: もしその痴呆症状が見難いかまたは海軍航空隊であるかまたはどちらもだとすればこの決戦場は妄説でない fact4: 「仮にその痴呆症状が霊薬であるとすればこの鄙は海軍航空隊である」ということは正しい fact5: 「海軍航空隊は見難い」ということは正しい fact6: この鄙は霊薬である fact7: もしこの鄙が霊薬だとしたらその痴呆症状は見難い fact8: 見難い物は霊薬であるということはない
fact7 & fact6 -> int1: その痴呆症状は見難い; int1 -> int2: 「その痴呆症状は見難いかあるいは海軍航空隊であるかあるいは両方である」ということは確かである; int2 & fact3 -> hypothesis;
この決戦場は妄説だ
$facts$ = fact1: この決戦場は霊薬であるとすれば妄説だ fact2: あのコヨーテは霊薬である fact3: もしその痴呆症状が見難いかまたは海軍航空隊であるかまたはどちらもだとすればこの決戦場は妄説でない fact4: 「仮にその痴呆症状が霊薬であるとすればこの鄙は海軍航空隊である」ということは正しい fact5: 「海軍航空隊は見難い」ということは正しい fact6: この鄙は霊薬である fact7: もしこの鄙が霊薬だとしたらその痴呆症状は見難い fact8: 見難い物は霊薬であるということはない ; $hypothesis$ = この決戦場は妄説である ; $proof$ = 
fact7 & fact6 -> int1: その痴呆症状は見難い; int1 -> int2: 「その痴呆症状は見難いかあるいは海軍航空隊であるかあるいは両方である」ということは確かである; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: この決戦場は霊薬であるとすれば妄説だ
事実2: あのコヨーテは霊薬である
事実3: もしその痴呆症状が見難いかまたは海軍航空隊であるかまたはどちらもだとすればこの決戦場は妄説でない
事実4: 「仮にその痴呆症状が霊薬であるとすればこの鄙は海軍航空隊である」ということは正しい
事実5: 「海軍航空隊は見難い」ということは正しい
事実6: この鄙は霊薬である
事実7: もしこの鄙が霊薬だとしたらその痴呆症状は見難い
事実8: 見難い物は霊薬であるということはない

仮説: この決戦場は妄説である
1. 事実7と事実6から、推論1: "その痴呆症状は見難い"が導かれる
2. 推論1から、推論2: "「その痴呆症状は見難いかあるいは海軍航空隊であるかあるいは両方である」ということは確かである"が導かれる
3. 推論2と事実3から、仮説が否定される

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