この二〜三年後は実現状況である
fact1: あのウンディーネは労労じ fact2: あの支局が吝いとしたらそれはなあくない fact3: 「用言文節は設定出来ない」ということは正しい fact4: もし仮にあのウンディーネが設定出来ないとすればこの二〜三年後は実現状況だ fact5: 労労じかあるいは吝いか両方ともなものは設定出来ない fact6: もしこの男バスが設定出来ないとすれば労労じ一方で吝くない fact7: もしなんらかの物が設定出来るとしたらそれは労労じないかあるいは吝くない fact8: もし仮にある物が労労じかもしくはそれが設定出来るとすれば実現状況でない fact9: もし仮に労労じ物は吝くないなら「実現状況でない」ということは事実と異ならない
fact1 -> int1: あのウンディーネは労労じかまたはそれは吝い; fact5 -> int2: もしあのウンディーネが労労じかもしくは吝いかあるいは両方なら設定出来ない; int1 & int2 -> int3: あのウンディーネは設定出来ない; int3 & fact4 -> hypothesis;
この二〜三年後は実現状況でない
fact10 -> int4: もしあのウンディーネが設定出来るとしたらそれは労労じないかそれは吝くない;
$facts$ = fact1: あのウンディーネは労労じ fact2: あの支局が吝いとしたらそれはなあくない fact3: 「用言文節は設定出来ない」ということは正しい fact4: もし仮にあのウンディーネが設定出来ないとすればこの二〜三年後は実現状況だ fact5: 労労じかあるいは吝いか両方ともなものは設定出来ない fact6: もしこの男バスが設定出来ないとすれば労労じ一方で吝くない fact7: もしなんらかの物が設定出来るとしたらそれは労労じないかあるいは吝くない fact8: もし仮にある物が労労じかもしくはそれが設定出来るとすれば実現状況でない fact9: もし仮に労労じ物は吝くないなら「実現状況でない」ということは事実と異ならない ; $hypothesis$ = この二〜三年後は実現状況である ; $proof$ = 
fact1 -> int1: あのウンディーネは労労じかまたはそれは吝い; fact5 -> int2: もしあのウンディーネが労労じかもしくは吝いかあるいは両方なら設定出来ない; int1 & int2 -> int3: あのウンディーネは設定出来ない; int3 & fact4 -> hypothesis; __PROVED__
事実1: あのウンディーネは労労じ
事実2: あの支局が吝いとしたらそれはなあくない
事実3: 「用言文節は設定出来ない」ということは正しい
事実4: もし仮にあのウンディーネが設定出来ないとすればこの二〜三年後は実現状況だ
事実5: 労労じかあるいは吝いか両方ともなものは設定出来ない
事実6: もしこの男バスが設定出来ないとすれば労労じ一方で吝くない
事実7: もしなんらかの物が設定出来るとしたらそれは労労じないかあるいは吝くない
事実8: もし仮にある物が労労じかもしくはそれが設定出来るとすれば実現状況でない
事実9: もし仮に労労じ物は吝くないなら「実現状況でない」ということは事実と異ならない

仮説: この二〜三年後は実現状況である
1. 事実1から、推論1: "あのウンディーネは労労じかまたはそれは吝い"が導かれる
2. 事実5から、推論2: "もしあのウンディーネが労労じかもしくは吝いかあるいは両方なら設定出来ない"が導かれる
3. 推論1と推論2から、推論3: "あのウンディーネは設定出来ない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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