あの本郷廷悦はクロレラであるかまたはレクチャーする
fact1: もしこの同形式はレクチャーしないとすると「あの本郷廷悦は税制改革である」ということは成り立つ fact2: 仮に「ある物は石油化学コンビナートでないし加えて猛々しくない」ということは事実と異なるなら「猛々しい」ということは成り立つ fact3: この表示法は税制改革だ fact4: もし何らかの物は作業ウィンドウであるならば「御姉ちゃんでなくて加えて立脚するということはない」ということは誤りだ fact5: もし何らかのものが尽力しないし更に意地悪いということはないとするとあの太平洋戦争末期は主管課でない fact6: 仮にとあるものは瑞々しいとしたら「それは尽力しないしまた意地悪くない」ということは成り立つ fact7: もしも「主管課だということはない」物があるならその国民文化は取り上げるということはない fact8: もしも「「なにがしかの物は御姉ちゃんでないしそれは立脚しない」ということは成り立つ」ということは間違いだとすれば「それは税制改革でない」ということは事実である fact9: 仮にこの同形式が猛々しいならばあの本郷廷悦は作業ウィンドウだ fact10: もしもその国民文化は取り上げないとしたら「「この同形式は石油化学コンビナートでなくてそれは猛々しくない」ということは成り立つ」ということは間違っている fact11: この同形式は税制改革でない fact12: 「この同形式は税制改革だということはない」ということは事実だとするとあの本郷廷悦は立脚する fact13: 「この同形式はクロレラでない」ということは成り立つ fact14: 全ては瑞々しい fact15: もし仮にあの本郷廷悦が立脚するとすればクロレラである fact16: この同形式は休み始める
fact12 & fact11 -> int1: あの本郷廷悦は立脚する; int1 & fact15 -> int2: あの本郷廷悦はクロレラだ; int2 -> hypothesis;
「あの本郷廷悦はクロレラであるかあるいはレクチャーするかどちらもである」ということは嘘だ
fact18 -> int3: あの本郷廷悦は作業ウィンドウだとすると「それは御姉ちゃんでないしさらにそれは立脚するということはない」ということは偽だ; fact25 -> int4: もしも「この同形式は石油化学コンビナートでないし更に猛々しくない」ということは本当でないとしたらそれは猛々しい; fact21 -> int5: もし「あの森林生態系は瑞々しい」ということは確かであるならばそれが尽力しないしさらに意地悪くない; fact23 -> int6: あの森林生態系は瑞々しい; int5 & int6 -> int7: あの森林生態系は尽力しないし意地悪くない; int7 -> int8: すべては尽力しないし加えて意地悪くない; int8 -> int9: その抑鬱傾向は尽力するということはなくて加えて意地悪くない; int9 -> int10: なんらかの物は尽力するということはないし更に意地悪くない; int10 & fact19 -> int11: あの太平洋戦争末期は主管課でない; int11 -> int12: 何らかの物は主管課でない; int12 & fact24 -> int13: その国民文化は取り上げない; fact20 & int13 -> int14: 「この同形式は石油化学コンビナートでなくて猛々しくない」ということは誤っている; int4 & int14 -> int15: この同形式は猛々しい; fact17 & int15 -> int16: 「あの本郷廷悦は作業ウィンドウだ」ということは成り立つ; int3 & int16 -> int17: 「あの本郷廷悦は御姉ちゃんでないしそれにそれは立脚しない」ということは嘘だ; fact22 -> int18: もしも「あの本郷廷悦は御姉ちゃんでなくておまけにそれは立脚しない」ということは嘘だとすれば税制改革だということはない; int17 & int18 -> int19: あの本郷廷悦は税制改革だということはない;
$facts$ = fact1: もしこの同形式はレクチャーしないとすると「あの本郷廷悦は税制改革である」ということは成り立つ fact2: 仮に「ある物は石油化学コンビナートでないし加えて猛々しくない」ということは事実と異なるなら「猛々しい」ということは成り立つ fact3: この表示法は税制改革だ fact4: もし何らかの物は作業ウィンドウであるならば「御姉ちゃんでなくて加えて立脚するということはない」ということは誤りだ fact5: もし何らかのものが尽力しないし更に意地悪いということはないとするとあの太平洋戦争末期は主管課でない fact6: 仮にとあるものは瑞々しいとしたら「それは尽力しないしまた意地悪くない」ということは成り立つ fact7: もしも「主管課だということはない」物があるならその国民文化は取り上げるということはない fact8: もしも「「なにがしかの物は御姉ちゃんでないしそれは立脚しない」ということは成り立つ」ということは間違いだとすれば「それは税制改革でない」ということは事実である fact9: 仮にこの同形式が猛々しいならばあの本郷廷悦は作業ウィンドウだ fact10: もしもその国民文化は取り上げないとしたら「「この同形式は石油化学コンビナートでなくてそれは猛々しくない」ということは成り立つ」ということは間違っている fact11: この同形式は税制改革でない fact12: 「この同形式は税制改革だということはない」ということは事実だとするとあの本郷廷悦は立脚する fact13: 「この同形式はクロレラでない」ということは成り立つ fact14: 全ては瑞々しい fact15: もし仮にあの本郷廷悦が立脚するとすればクロレラである fact16: この同形式は休み始める ; $hypothesis$ = あの本郷廷悦はクロレラであるかまたはレクチャーする ; $proof$ = 
fact12 & fact11 -> int1: あの本郷廷悦は立脚する; int1 & fact15 -> int2: あの本郷廷悦はクロレラだ; int2 -> hypothesis; __PROVED__
事実1: もしこの同形式はレクチャーしないとすると「あの本郷廷悦は税制改革である」ということは成り立つ
事実2: 仮に「ある物は石油化学コンビナートでないし加えて猛々しくない」ということは事実と異なるなら「猛々しい」ということは成り立つ
事実3: この表示法は税制改革だ
事実4: もし何らかの物は作業ウィンドウであるならば「御姉ちゃんでなくて加えて立脚するということはない」ということは誤りだ
事実5: もし何らかのものが尽力しないし更に意地悪いということはないとするとあの太平洋戦争末期は主管課でない
事実6: 仮にとあるものは瑞々しいとしたら「それは尽力しないしまた意地悪くない」ということは成り立つ
事実7: もしも「主管課だということはない」物があるならその国民文化は取り上げるということはない
事実8: もしも「「なにがしかの物は御姉ちゃんでないしそれは立脚しない」ということは成り立つ」ということは間違いだとすれば「それは税制改革でない」ということは事実である
事実9: 仮にこの同形式が猛々しいならばあの本郷廷悦は作業ウィンドウだ
事実10: もしもその国民文化は取り上げないとしたら「「この同形式は石油化学コンビナートでなくてそれは猛々しくない」ということは成り立つ」ということは間違っている
事実11: この同形式は税制改革でない
事実12: 「この同形式は税制改革だということはない」ということは事実だとするとあの本郷廷悦は立脚する
事実13: 「この同形式はクロレラでない」ということは成り立つ
事実14: 全ては瑞々しい
事実15: もし仮にあの本郷廷悦が立脚するとすればクロレラである
事実16: この同形式は休み始める

仮説: あの本郷廷悦はクロレラであるかまたはレクチャーする
1. 事実12と事実11から、推論1: "あの本郷廷悦は立脚する"が導かれる
2. 推論1と事実15から、推論2: "あの本郷廷悦はクロレラだ"が導かれる
3. 推論2から、仮説が導かれる

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