そのベージュ系はシェークする
fact1: もしも「なんらかのものはしょぼしょぼする」ということは成り立つならそれは各地方だ fact2: そのアイユは寄贈する fact3: もし仮にそのベージュ系がうら若いということはないとするとそれは咽ぶ fact4: その民生委員・児童委員が規則正しいがしかし礼儀正しくないとしたらあのＩＴ機器は規則正しい fact5: そのアイユは寄贈するとすると「それはもやもやしないしかつそれは規則正しくない」ということは間違っている fact6: その民生委員・児童委員は教団側でないなら「「それは寄贈しないしかつ忘れ易い」ということは成り立つ」ということは偽だ fact7: 短い物はシェークする fact8: もし「そのベージュ系は略記しない」ということは本当ならしょぼしょぼしない fact9: もしもとある物が寄贈すれば規則正しいけれど礼儀正しくない fact10: もし仮にそのベージュ系は各地方でないならばしょぼしょぼする fact11: もし仮にあのＩＴ機器がもやもやしないとするとこのオセロゲームはシェークするが略記しない fact12: 仮に「そのアイユはしょぼしょぼするし短い」ということは誤っているとするとそのベージュ系は各地方でない fact13: 「そのベージュ系は略記するししかももやもやする」ということは成り立たない fact14: そのベージュ系は各地方であるかまたは短くないか両方である fact15: もし仮に「そのアイユはもやもやしなくてまたそれは規則正しくない」ということは間違いならばそれは略記する fact16: 仮に「そのベージュ系は各地方でない」ということは確かであるならばあの所轄税務署長は公園整備でないかもしくはそれは座り易くないかもしくは両方ともだ fact17: もしもその塩水用は溶き芥子であるとするともやもやする fact18: なにかは略記するとすれば「しょぼしょぼする」ということは確かである fact19: もし仮に「「その民生委員・児童委員は寄贈しないけれど忘れ易い」ということは確かだ」ということは嘘であるとすると寄贈する fact20: もしもそのベージュ系が各地方でないかあるいはそれが短いということはないとしたらそれはしょぼしょぼする fact21: 規則正しいものはもやもやしない fact22: 「そのベージュ系は略記するしもやもやする」ということは成り立たないなら「しょぼしょぼする」ということは成り立たない
void -> assump1: 以下のように仮定する。そのベージュ系は短いということはない; assump1 -> int1: そのベージュ系は各地方でないかまたは短くないかまたは両方ともである; int1 & fact20 -> int2: そのベージュ系はしょぼしょぼする; fact22 & fact13 -> int3: そのベージュ系はしょぼしょぼしない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのベージュ系は短い; fact7 -> int6: もしそのベージュ系が短いならばそれはシェークする; int5 & int6 -> hypothesis;
そのベージュ系はシェークしない
fact26 -> int7: もし仮にそのアイユがしょぼしょぼするとするとそれは各地方だ; fact25 -> int8: 仮にそのアイユが略記すればしょぼしょぼする; fact23 & fact24 -> int9: 「そのアイユはもやもやしなくてそれは規則正しくない」ということは成り立たない; fact27 & int9 -> int10: そのアイユは略記する; int8 & int10 -> int11: 「そのアイユはしょぼしょぼする」ということは事実だ; int7 & int11 -> int12: 「そのアイユは各地方である」ということは本当である; int12 -> int13: 各地方はある;
$facts$ = fact1: もしも「なんらかのものはしょぼしょぼする」ということは成り立つならそれは各地方だ fact2: そのアイユは寄贈する fact3: もし仮にそのベージュ系がうら若いということはないとするとそれは咽ぶ fact4: その民生委員・児童委員が規則正しいがしかし礼儀正しくないとしたらあのＩＴ機器は規則正しい fact5: そのアイユは寄贈するとすると「それはもやもやしないしかつそれは規則正しくない」ということは間違っている fact6: その民生委員・児童委員は教団側でないなら「「それは寄贈しないしかつ忘れ易い」ということは成り立つ」ということは偽だ fact7: 短い物はシェークする fact8: もし「そのベージュ系は略記しない」ということは本当ならしょぼしょぼしない fact9: もしもとある物が寄贈すれば規則正しいけれど礼儀正しくない fact10: もし仮にそのベージュ系は各地方でないならばしょぼしょぼする fact11: もし仮にあのＩＴ機器がもやもやしないとするとこのオセロゲームはシェークするが略記しない fact12: 仮に「そのアイユはしょぼしょぼするし短い」ということは誤っているとするとそのベージュ系は各地方でない fact13: 「そのベージュ系は略記するししかももやもやする」ということは成り立たない fact14: そのベージュ系は各地方であるかまたは短くないか両方である fact15: もし仮に「そのアイユはもやもやしなくてまたそれは規則正しくない」ということは間違いならばそれは略記する fact16: 仮に「そのベージュ系は各地方でない」ということは確かであるならばあの所轄税務署長は公園整備でないかもしくはそれは座り易くないかもしくは両方ともだ fact17: もしもその塩水用は溶き芥子であるとするともやもやする fact18: なにかは略記するとすれば「しょぼしょぼする」ということは確かである fact19: もし仮に「「その民生委員・児童委員は寄贈しないけれど忘れ易い」ということは確かだ」ということは嘘であるとすると寄贈する fact20: もしもそのベージュ系が各地方でないかあるいはそれが短いということはないとしたらそれはしょぼしょぼする fact21: 規則正しいものはもやもやしない fact22: 「そのベージュ系は略記するしもやもやする」ということは成り立たないなら「しょぼしょぼする」ということは成り立たない ; $hypothesis$ = そのベージュ系はシェークする ; $proof$ = 
void -> assump1: 以下のように仮定する。そのベージュ系は短いということはない; assump1 -> int1: そのベージュ系は各地方でないかまたは短くないかまたは両方ともである; int1 & fact20 -> int2: そのベージュ系はしょぼしょぼする; fact22 & fact13 -> int3: そのベージュ系はしょぼしょぼしない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのベージュ系は短い; fact7 -> int6: もしそのベージュ系が短いならばそれはシェークする; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものはしょぼしょぼする」ということは成り立つならそれは各地方だ
事実2: そのアイユは寄贈する
事実3: もし仮にそのベージュ系がうら若いということはないとするとそれは咽ぶ
事実4: その民生委員・児童委員が規則正しいがしかし礼儀正しくないとしたらあのＩＴ機器は規則正しい
事実5: そのアイユは寄贈するとすると「それはもやもやしないしかつそれは規則正しくない」ということは間違っている
事実6: その民生委員・児童委員は教団側でないなら「「それは寄贈しないしかつ忘れ易い」ということは成り立つ」ということは偽だ
事実7: 短い物はシェークする
事実8: もし「そのベージュ系は略記しない」ということは本当ならしょぼしょぼしない
事実9: もしもとある物が寄贈すれば規則正しいけれど礼儀正しくない
事実10: もし仮にそのベージュ系は各地方でないならばしょぼしょぼする
事実11: もし仮にあのＩＴ機器がもやもやしないとするとこのオセロゲームはシェークするが略記しない
事実12: 仮に「そのアイユはしょぼしょぼするし短い」ということは誤っているとするとそのベージュ系は各地方でない
事実13: 「そのベージュ系は略記するししかももやもやする」ということは成り立たない
事実14: そのベージュ系は各地方であるかまたは短くないか両方である
事実15: もし仮に「そのアイユはもやもやしなくてまたそれは規則正しくない」ということは間違いならばそれは略記する
事実16: 仮に「そのベージュ系は各地方でない」ということは確かであるならばあの所轄税務署長は公園整備でないかもしくはそれは座り易くないかもしくは両方ともだ
事実17: もしもその塩水用は溶き芥子であるとするともやもやする
事実18: なにかは略記するとすれば「しょぼしょぼする」ということは確かである
事実19: もし仮に「「その民生委員・児童委員は寄贈しないけれど忘れ易い」ということは確かだ」ということは嘘であるとすると寄贈する
事実20: もしもそのベージュ系が各地方でないかあるいはそれが短いということはないとしたらそれはしょぼしょぼする
事実21: 規則正しいものはもやもやしない
事実22: 「そのベージュ系は略記するしもやもやする」ということは成り立たないなら「しょぼしょぼする」ということは成り立たない

仮説: そのベージュ系はシェークする
1. 仮定1: 以下のように仮定する。そのベージュ系は短いということはない
2. 仮定1から、推論1: "そのベージュ系は各地方でないかまたは短くないかまたは両方ともである"が導かれる
3. 推論1と事実20から、推論2: "そのベージュ系はしょぼしょぼする"が導かれる
4. 事実22と事実13から、推論3: "そのベージュ系はしょぼしょぼしない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのベージュ系は短い"が導かれる
7. 事実7から、推論6: "もしそのベージュ系が短いならばそれはシェークする"が導かれる
8. 推論5と推論6から、仮説が導かれる

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