その二分割はエントリーしない
fact1: もし仮にあの半球が武官でないか晴れがましいかあるいはどちらもだとするとあの石灰質は武官である fact2: 仮に「「その重点化は晴れがましいが口笛山でない」ということは偽でない」ということは誤りならあの半球は晴れがましかない fact3: あの半球は武官でない fact4: もし何らかのものが武官だとしたらそれはエントリーしない fact5: もし仮にあの半球が武官でないならその二分割はエントリーしない fact6: あの半球はエントリーしない fact7: 仮にあの半球がエントリーするとしたらその二分割はエントリーする fact8: もしもあの半球が晴れがましかないならエントリーするしおまけに武官である fact9: 仮に「何らかのものは口笛山でない」ということは正しいとすれば武官でないかまたは晴れがましいかどちらもである
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
その二分割はエントリーする
$facts$ = fact1: もし仮にあの半球が武官でないか晴れがましいかあるいはどちらもだとするとあの石灰質は武官である fact2: 仮に「「その重点化は晴れがましいが口笛山でない」ということは偽でない」ということは誤りならあの半球は晴れがましかない fact3: あの半球は武官でない fact4: もし何らかのものが武官だとしたらそれはエントリーしない fact5: もし仮にあの半球が武官でないならその二分割はエントリーしない fact6: あの半球はエントリーしない fact7: 仮にあの半球がエントリーするとしたらその二分割はエントリーする fact8: もしもあの半球が晴れがましかないならエントリーするしおまけに武官である fact9: 仮に「何らかのものは口笛山でない」ということは正しいとすれば武官でないかまたは晴れがましいかどちらもである ; $hypothesis$ = その二分割はエントリーしない ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの半球が武官でないか晴れがましいかあるいはどちらもだとするとあの石灰質は武官である
事実2: 仮に「「その重点化は晴れがましいが口笛山でない」ということは偽でない」ということは誤りならあの半球は晴れがましかない
事実3: あの半球は武官でない
事実4: もし何らかのものが武官だとしたらそれはエントリーしない
事実5: もし仮にあの半球が武官でないならその二分割はエントリーしない
事実6: あの半球はエントリーしない
事実7: 仮にあの半球がエントリーするとしたらその二分割はエントリーする
事実8: もしもあの半球が晴れがましかないならエントリーするしおまけに武官である
事実9: 仮に「何らかのものは口笛山でない」ということは正しいとすれば武官でないかまたは晴れがましいかどちらもである

仮説: その二分割はエントリーしない
1. 事実5と事実3から、仮説が導かれる

よって、仮説が証明されました。