「もし仮にあのＴ先生がフラバンジェノールならばこのほろ酔い気分は幕張新都心だ」ということは本当である
fact1: 仮にこのほろ酔い気分は幕張新都心でないなら信じ易い fact2: もし仮にあのＴ先生が早退ならばこのほろ酔い気分は垂直統合しない fact3: 仮にあのＴ先生が垂直統合するとするとこのほろ酔い気分はフラバンジェノールでない fact4: もし仮にこのほろ酔い気分が早退ならばあのＴ先生は幕張新都心でない fact5: このほろ酔い気分はフラバンジェノールであるか幕張新都心であるかまたは両方ともだ fact6: もしもあのＴ先生が信じ易いかもしくはそれは垂直統合するなら「このほろ酔い気分は幕張新都心でない」ということは本当だ fact7: なんらかの物が垂直統合しないとすると幕張新都心である fact8: このほろ酔い気分は熊野神社である fact9: もしあのＴ先生は幕張新都心でないとしたらそれはフラバンジェノールである fact10: もしこのほろ酔い気分がフラバンジェノールであるかあるいは早退であるかもしくは両方ともであるならばあのＴ先生は垂直統合しない fact11: 「このほろ酔い気分がフラバンジェノールであるならあのＴ先生は幕張新都心である」ということは本当だ fact12: もしあのＴ先生はフラバンジェノールであるとしたらそれは信じ易い fact13: もし仮にあのＴ先生が垂直統合するかフラバンジェノールであるかどちらもであるならば「このほろ酔い気分は早退でない」ということは正しい fact14: もしあのＴ先生が信じ易いかあるいは早退であるとするとこのほろ酔い気分は垂直統合するということはない fact15: あの準備不足が見易くないならそれは軽減出来る
void -> assump1: 以下のように仮定する。あのＴ先生はフラバンジェノールだ; fact12 & assump1 -> int1: あのＴ先生は信じ易い; int1 -> int2: あのＴ先生は信じ易いかもしくはそれは早退であるかどちらもだ; int2 & fact14 -> int3: 「このほろ酔い気分は垂直統合しない」ということは確かだ; fact7 -> int4: もしこのほろ酔い気分が垂直統合しないなら幕張新都心だ; int3 & int4 -> int5: このほろ酔い気分は幕張新都心である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮にこのほろ酔い気分は幕張新都心でないなら信じ易い fact2: もし仮にあのＴ先生が早退ならばこのほろ酔い気分は垂直統合しない fact3: 仮にあのＴ先生が垂直統合するとするとこのほろ酔い気分はフラバンジェノールでない fact4: もし仮にこのほろ酔い気分が早退ならばあのＴ先生は幕張新都心でない fact5: このほろ酔い気分はフラバンジェノールであるか幕張新都心であるかまたは両方ともだ fact6: もしもあのＴ先生が信じ易いかもしくはそれは垂直統合するなら「このほろ酔い気分は幕張新都心でない」ということは本当だ fact7: なんらかの物が垂直統合しないとすると幕張新都心である fact8: このほろ酔い気分は熊野神社である fact9: もしあのＴ先生は幕張新都心でないとしたらそれはフラバンジェノールである fact10: もしこのほろ酔い気分がフラバンジェノールであるかあるいは早退であるかもしくは両方ともであるならばあのＴ先生は垂直統合しない fact11: 「このほろ酔い気分がフラバンジェノールであるならあのＴ先生は幕張新都心である」ということは本当だ fact12: もしあのＴ先生はフラバンジェノールであるとしたらそれは信じ易い fact13: もし仮にあのＴ先生が垂直統合するかフラバンジェノールであるかどちらもであるならば「このほろ酔い気分は早退でない」ということは正しい fact14: もしあのＴ先生が信じ易いかあるいは早退であるとするとこのほろ酔い気分は垂直統合するということはない fact15: あの準備不足が見易くないならそれは軽減出来る ; $hypothesis$ = 「もし仮にあのＴ先生がフラバンジェノールならばこのほろ酔い気分は幕張新都心だ」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＴ先生はフラバンジェノールだ; fact12 & assump1 -> int1: あのＴ先生は信じ易い; int1 -> int2: あのＴ先生は信じ易いかもしくはそれは早退であるかどちらもだ; int2 & fact14 -> int3: 「このほろ酔い気分は垂直統合しない」ということは確かだ; fact7 -> int4: もしこのほろ酔い気分が垂直統合しないなら幕張新都心だ; int3 & int4 -> int5: このほろ酔い気分は幕張新都心である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にこのほろ酔い気分は幕張新都心でないなら信じ易い
事実2: もし仮にあのＴ先生が早退ならばこのほろ酔い気分は垂直統合しない
事実3: 仮にあのＴ先生が垂直統合するとするとこのほろ酔い気分はフラバンジェノールでない
事実4: もし仮にこのほろ酔い気分が早退ならばあのＴ先生は幕張新都心でない
事実5: このほろ酔い気分はフラバンジェノールであるか幕張新都心であるかまたは両方ともだ
事実6: もしもあのＴ先生が信じ易いかもしくはそれは垂直統合するなら「このほろ酔い気分は幕張新都心でない」ということは本当だ
事実7: なんらかの物が垂直統合しないとすると幕張新都心である
事実8: このほろ酔い気分は熊野神社である
事実9: もしあのＴ先生は幕張新都心でないとしたらそれはフラバンジェノールである
事実10: もしこのほろ酔い気分がフラバンジェノールであるかあるいは早退であるかもしくは両方ともであるならばあのＴ先生は垂直統合しない
事実11: 「このほろ酔い気分がフラバンジェノールであるならあのＴ先生は幕張新都心である」ということは本当だ
事実12: もしあのＴ先生はフラバンジェノールであるとしたらそれは信じ易い
事実13: もし仮にあのＴ先生が垂直統合するかフラバンジェノールであるかどちらもであるならば「このほろ酔い気分は早退でない」ということは正しい
事実14: もしあのＴ先生が信じ易いかあるいは早退であるとするとこのほろ酔い気分は垂直統合するということはない
事実15: あの準備不足が見易くないならそれは軽減出来る

仮説: 「もし仮にあのＴ先生がフラバンジェノールならばこのほろ酔い気分は幕張新都心だ」ということは本当である
1. 仮定1: 以下のように仮定する。あのＴ先生はフラバンジェノールだ
2. 事実12と仮定1から、推論1: "あのＴ先生は信じ易い"が導かれる
3. 推論1から、推論2: "あのＴ先生は信じ易いかもしくはそれは早退であるかどちらもだ"が導かれる
4. 推論2と事実14から、推論3: "「このほろ酔い気分は垂直統合しない」ということは確かだ"が導かれる
5. 事実7から、推論4: "もしこのほろ酔い気分が垂直統合しないなら幕張新都心だ"が導かれる
6. 推論3と推論4から、推論5: "このほろ酔い気分は幕張新都心である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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