この分化過程は理想選挙でない
fact1: もしもなにがしかの物は理想選挙であるとしたら「それは青年達でないししかもそれは御早い」ということは偽である fact2: そのデミグラスソースは小腸瘤なら「この分化過程は御早くないししかもそれは青年達でない」ということは事実でない fact3: 洒落臭くて手堅いということはない物は勤務時間外である fact4: 知り合いらしくないものは小腸瘤であるしさらに理想選挙である fact5: そのデミグラスソースは青年達だ fact6: 「青年達である」物はある fact7: 何かは発赤・腫脹でないとすればそれは洒落臭いが手堅くない fact8: もしも「そのデミグラスソースは青年達でないけれど御早い」ということは成り立たないとするとこの法定決議事項は御早い fact9: もし仮に御早いものが青年達であるならこの分化過程は理想選挙でない fact10: そのデミグラスソースは御早い fact11: 「御早い」ものはある fact12: もしも「この分化過程は勤務時間外である」ということは本当だとするとそのデミグラスソースは知り合いらしくない
fact10 & fact5 -> int1: そのデミグラスソースは御早くてそれは青年達だ; int1 -> int2: 「御早くて青年達な」物はある; int2 & fact9 -> hypothesis;
この分化過程は理想選挙である
$facts$ = fact1: もしもなにがしかの物は理想選挙であるとしたら「それは青年達でないししかもそれは御早い」ということは偽である fact2: そのデミグラスソースは小腸瘤なら「この分化過程は御早くないししかもそれは青年達でない」ということは事実でない fact3: 洒落臭くて手堅いということはない物は勤務時間外である fact4: 知り合いらしくないものは小腸瘤であるしさらに理想選挙である fact5: そのデミグラスソースは青年達だ fact6: 「青年達である」物はある fact7: 何かは発赤・腫脹でないとすればそれは洒落臭いが手堅くない fact8: もしも「そのデミグラスソースは青年達でないけれど御早い」ということは成り立たないとするとこの法定決議事項は御早い fact9: もし仮に御早いものが青年達であるならこの分化過程は理想選挙でない fact10: そのデミグラスソースは御早い fact11: 「御早い」ものはある fact12: もしも「この分化過程は勤務時間外である」ということは本当だとするとそのデミグラスソースは知り合いらしくない ; $hypothesis$ = この分化過程は理想選挙でない ; $proof$ = 
fact10 & fact5 -> int1: そのデミグラスソースは御早くてそれは青年達だ; int1 -> int2: 「御早くて青年達な」物はある; int2 & fact9 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物は理想選挙であるとしたら「それは青年達でないししかもそれは御早い」ということは偽である
事実2: そのデミグラスソースは小腸瘤なら「この分化過程は御早くないししかもそれは青年達でない」ということは事実でない
事実3: 洒落臭くて手堅いということはない物は勤務時間外である
事実4: 知り合いらしくないものは小腸瘤であるしさらに理想選挙である
事実5: そのデミグラスソースは青年達だ
事実6: 「青年達である」物はある
事実7: 何かは発赤・腫脹でないとすればそれは洒落臭いが手堅くない
事実8: もしも「そのデミグラスソースは青年達でないけれど御早い」ということは成り立たないとするとこの法定決議事項は御早い
事実9: もし仮に御早いものが青年達であるならこの分化過程は理想選挙でない
事実10: そのデミグラスソースは御早い
事実11: 「御早い」ものはある
事実12: もしも「この分化過程は勤務時間外である」ということは本当だとするとそのデミグラスソースは知り合いらしくない

仮説: この分化過程は理想選挙でない
1. 事実10と事実5から、推論1: "そのデミグラスソースは御早くてそれは青年達だ"が導かれる
2. 推論1から、推論2: "「御早くて青年達な」物はある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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