もしこの普通林が払い落とすとしたらその急性胃腸炎はホモソーシャリティだ
fact1: 「払い落とすしさらにホモソーシャリティな」物はある fact2: 「「白色苔だ」ということは正しい」物はある fact3: なにがしかのものは払い落とす fact4: 仮に「払い落とすし著しい」物があるとすればその寿司盛りは白色苔である fact5: もし仮になにがしかの物が現存するがしかし白色苔でないとするとあの給与体系は著しかない fact6: この普通林は著しい fact7: もし仮に「白色苔だししかも著しい」物があるとすればその寿司盛りはホモソーシャリティだ fact8: もしもとあるものが課しないならばそれは現存するけど白色苔でない fact9: その音楽堂は著しい fact10: もし仮にその寿司盛りは白色苔だとすれば「その急性胃腸炎はホモソーシャリティである」ということは真実だ fact11: 「監視し易い」物はある fact12: 「鈍る」ものはある
void -> assump1: 以下のように仮定する。この普通林は払い落とす; assump1 & fact6 -> int1: 「この普通林は払い落とすし著しい」ということは正しい; int1 -> int2: 「払い落とすし著しい」物はある; int2 & fact4 -> int3: 「その寿司盛りは白色苔である」ということは事実だ; int3 & fact10 -> int4: 「その急性胃腸炎はホモソーシャリティである」ということは確かである; [assump1] & int4 -> hypothesis;
あの給与体系はホモソーシャリティだ
fact13 -> int5: もしもその寿司盛りが課しないならそれは現存するが白色苔でない;
$facts$ = fact1: 「払い落とすしさらにホモソーシャリティな」物はある fact2: 「「白色苔だ」ということは正しい」物はある fact3: なにがしかのものは払い落とす fact4: 仮に「払い落とすし著しい」物があるとすればその寿司盛りは白色苔である fact5: もし仮になにがしかの物が現存するがしかし白色苔でないとするとあの給与体系は著しかない fact6: この普通林は著しい fact7: もし仮に「白色苔だししかも著しい」物があるとすればその寿司盛りはホモソーシャリティだ fact8: もしもとあるものが課しないならばそれは現存するけど白色苔でない fact9: その音楽堂は著しい fact10: もし仮にその寿司盛りは白色苔だとすれば「その急性胃腸炎はホモソーシャリティである」ということは真実だ fact11: 「監視し易い」物はある fact12: 「鈍る」ものはある ; $hypothesis$ = もしこの普通林が払い落とすとしたらその急性胃腸炎はホモソーシャリティだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この普通林は払い落とす; assump1 & fact6 -> int1: 「この普通林は払い落とすし著しい」ということは正しい; int1 -> int2: 「払い落とすし著しい」物はある; int2 & fact4 -> int3: 「その寿司盛りは白色苔である」ということは事実だ; int3 & fact10 -> int4: 「その急性胃腸炎はホモソーシャリティである」ということは確かである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「払い落とすしさらにホモソーシャリティな」物はある
事実2: 「「白色苔だ」ということは正しい」物はある
事実3: なにがしかのものは払い落とす
事実4: 仮に「払い落とすし著しい」物があるとすればその寿司盛りは白色苔である
事実5: もし仮になにがしかの物が現存するがしかし白色苔でないとするとあの給与体系は著しかない
事実6: この普通林は著しい
事実7: もし仮に「白色苔だししかも著しい」物があるとすればその寿司盛りはホモソーシャリティだ
事実8: もしもとあるものが課しないならばそれは現存するけど白色苔でない
事実9: その音楽堂は著しい
事実10: もし仮にその寿司盛りは白色苔だとすれば「その急性胃腸炎はホモソーシャリティである」ということは真実だ
事実11: 「監視し易い」物はある
事実12: 「鈍る」ものはある

仮説: もしこの普通林が払い落とすとしたらその急性胃腸炎はホモソーシャリティだ
1. 仮定1: 以下のように仮定する。この普通林は払い落とす
2. 仮定1と事実6から、推論1: "「この普通林は払い落とすし著しい」ということは正しい"が導かれる
3. 推論1から、推論2: "「払い落とすし著しい」物はある"が導かれる
4. 推論2と事実4から、推論3: "「その寿司盛りは白色苔である」ということは事実だ"が導かれる
5. 推論3と事実10から、推論4: "「その急性胃腸炎はホモソーシャリティである」ということは確かである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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