この検察審査会は南区でないかあるいはそれはふけらないか両方だ
fact1: その海防はロリコンでない fact2: この検察審査会は嬉しくない fact3: 仮に何らかの物が定まるとするとそれはふけらないかもしくは嬉しくない fact4: この検察審査会が現行本だということはないけれどきったないとすれば定まる fact5: 仮に何かは加重しないとするとそれは搭載出来るし術前診断である fact6: 仮にとあるものが定まるとすると南区であるかまたはそれはふけらないかもしくは両方ともである fact7: 仮に「なんらかのものは現行本でないしその上それはきったないということはない」ということは間違いでないなら定まる fact8: 仮にこの検察審査会が嬉しくないとするとそれは現行本でなくてしかもきったなくない fact9: 仮に「そのペースト型電極は加重するしおまけにそれは御勧め致す」ということは成り立たないならそのＢオールドは加重しない fact10: もしも「ロリコンでない」ものがあるならこの八百万人は今日中でないかそれはロリコンでないかまたはどちらもだ fact11: この建物は魏延べでないかもしくは現行本でないかあるいは両方ともである fact12: もしもそのＢオールドが術前診断であるならばあの時間外は嬉しいということはないしその上定まらない fact13: もし仮にこの検察審査会は現行本であるがしかしきったなくないとすると「それは定まる」ということは正しい fact14: もし仮にあの時間外は定まるということはないとすると「この検察審査会は南区でないかもしくはふけらない」ということは本当でない fact15: もし仮に何らかのものは今日中でないとすれば「それは加重するしかつ御勧め致す」ということは成り立たない fact16: もしなにかは定まるとするとそれは南区だということはないかまたはふけらないかまたは両方だ
fact7 -> int1: もし仮にこの検察審査会が現行本でなくてそれにきったなくないとするとそれは定まる; fact8 & fact2 -> int2: この検察審査会は現行本でなくておまけにきったなくない; int1 & int2 -> int3: この検察審査会は定まる; fact16 -> int4: もしこの検察審査会が定まればそれは南区だということはないかふけらないか両方である; int3 & int4 -> hypothesis;
「この検察審査会は南区でないかもしくはふけらないか両方である」ということは嘘だ
fact21 -> int5: もしそのＢオールドが加重するということはないならそれは搭載出来るし術前診断である; fact17 -> int6: もしもそのペースト型電極は今日中でないならば「それは加重するし更に御勧め致す」ということは成り立たない; fact18 -> int7: なにがしかの物はロリコンでない; int7 & fact19 -> int8: この八百万人は今日中でないかそれはロリコンでないかどちらもである;
$facts$ = fact1: その海防はロリコンでない fact2: この検察審査会は嬉しくない fact3: 仮に何らかの物が定まるとするとそれはふけらないかもしくは嬉しくない fact4: この検察審査会が現行本だということはないけれどきったないとすれば定まる fact5: 仮に何かは加重しないとするとそれは搭載出来るし術前診断である fact6: 仮にとあるものが定まるとすると南区であるかまたはそれはふけらないかもしくは両方ともである fact7: 仮に「なんらかのものは現行本でないしその上それはきったないということはない」ということは間違いでないなら定まる fact8: 仮にこの検察審査会が嬉しくないとするとそれは現行本でなくてしかもきったなくない fact9: 仮に「そのペースト型電極は加重するしおまけにそれは御勧め致す」ということは成り立たないならそのＢオールドは加重しない fact10: もしも「ロリコンでない」ものがあるならこの八百万人は今日中でないかそれはロリコンでないかまたはどちらもだ fact11: この建物は魏延べでないかもしくは現行本でないかあるいは両方ともである fact12: もしもそのＢオールドが術前診断であるならばあの時間外は嬉しいということはないしその上定まらない fact13: もし仮にこの検察審査会は現行本であるがしかしきったなくないとすると「それは定まる」ということは正しい fact14: もし仮にあの時間外は定まるということはないとすると「この検察審査会は南区でないかもしくはふけらない」ということは本当でない fact15: もし仮に何らかのものは今日中でないとすれば「それは加重するしかつ御勧め致す」ということは成り立たない fact16: もしなにかは定まるとするとそれは南区だということはないかまたはふけらないかまたは両方だ ; $hypothesis$ = この検察審査会は南区でないかあるいはそれはふけらないか両方だ ; $proof$ = 
fact7 -> int1: もし仮にこの検察審査会が現行本でなくてそれにきったなくないとするとそれは定まる; fact8 & fact2 -> int2: この検察審査会は現行本でなくておまけにきったなくない; int1 & int2 -> int3: この検察審査会は定まる; fact16 -> int4: もしこの検察審査会が定まればそれは南区だということはないかふけらないか両方である; int3 & int4 -> hypothesis; __PROVED__
事実1: その海防はロリコンでない
事実2: この検察審査会は嬉しくない
事実3: 仮に何らかの物が定まるとするとそれはふけらないかもしくは嬉しくない
事実4: この検察審査会が現行本だということはないけれどきったないとすれば定まる
事実5: 仮に何かは加重しないとするとそれは搭載出来るし術前診断である
事実6: 仮にとあるものが定まるとすると南区であるかまたはそれはふけらないかもしくは両方ともである
事実7: 仮に「なんらかのものは現行本でないしその上それはきったないということはない」ということは間違いでないなら定まる
事実8: 仮にこの検察審査会が嬉しくないとするとそれは現行本でなくてしかもきったなくない
事実9: 仮に「そのペースト型電極は加重するしおまけにそれは御勧め致す」ということは成り立たないならそのＢオールドは加重しない
事実10: もしも「ロリコンでない」ものがあるならこの八百万人は今日中でないかそれはロリコンでないかまたはどちらもだ
事実11: この建物は魏延べでないかもしくは現行本でないかあるいは両方ともである
事実12: もしもそのＢオールドが術前診断であるならばあの時間外は嬉しいということはないしその上定まらない
事実13: もし仮にこの検察審査会は現行本であるがしかしきったなくないとすると「それは定まる」ということは正しい
事実14: もし仮にあの時間外は定まるということはないとすると「この検察審査会は南区でないかもしくはふけらない」ということは本当でない
事実15: もし仮に何らかのものは今日中でないとすれば「それは加重するしかつ御勧め致す」ということは成り立たない
事実16: もしなにかは定まるとするとそれは南区だということはないかまたはふけらないかまたは両方だ

仮説: この検察審査会は南区でないかあるいはそれはふけらないか両方だ
1. 事実7から、推論1: "もし仮にこの検察審査会が現行本でなくてそれにきったなくないとするとそれは定まる"が導かれる
2. 事実8と事実2から、推論2: "この検察審査会は現行本でなくておまけにきったなくない"が導かれる
3. 推論1と推論2から、推論3: "この検察審査会は定まる"が導かれる
4. 事実16から、推論4: "もしこの検察審査会が定まればそれは南区だということはないかふけらないか両方である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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