このウィンクは再発し易い
fact1: もし仮に何らかの物が通過するかあるいは再発し易いかあるいは両方ともならこのウィンクは変動する fact2: 仮になんらかの物が例外無いならそれは再発し易い fact3: もし仮に「なにかは変動するしそれは通過する」ということは嘘であるならばそれは変動しない fact4: もしも何かは通過するとすればそれは例外無い fact5: 仮に「ある物は再発し易いしそれにそれは度外視する」ということは偽であるならそれは再発し易いということはない fact6: この貸借対照表上は度外視する fact7: 「とあるものは再発し易いしさらに心優しい」ということは誤りだとしたら再発し易くない fact8: あるものは心優しいとしたら「「それは通過するということはない」ということは本当だ」ということは嘘である fact9: あの新人達は例外無くない fact10: もし仮に「「変動する」ものはある」ということは事実ならこのウィンクは心優しい fact11: このウィンクは発揮し難い fact12: 「セックスセラピストは疎通である」ということは成り立つ fact13: 仮になにがしかのものは変動しないなら「再発し易くてそれは心優しい」ということは嘘である fact14: あるものが度外視するかあるいは変動するかもしくは両方ともであるとすればこのウィンクは心優しい fact15: 仮にあの新人達は例外無いということはないならば「このアイスコーヒーは変動するしおまけに通過する」ということは事実と異なる fact16: このアイスコーヒーは狡っ辛いなら「再発し易い」ということは正しい fact17: このアイスコーヒーは度外視する
fact17 -> int1: 「このアイスコーヒーは度外視するかもしくは変動するかまたは両方ともだ」ということは事実と異ならない; int1 -> int2: なにがしかのものは度外視するかまたは変動する; int2 & fact14 -> int3: このウィンクは心優しい; fact8 -> int4: このウィンクが心優しいとすれば通過する; int3 & int4 -> int5: このウィンクは通過する; fact4 -> int6: もし仮にこのウィンクが通過するなら例外無い; int5 & int6 -> int7: 「このウィンクは例外無い」ということは成り立つ; fact2 -> int8: 仮にこのウィンクが例外無いならば再発し易い; int7 & int8 -> hypothesis;
このウィンクは再発し易くない
fact21 -> int9: もし仮に「このウィンクが再発し易いしその上度外視する」ということは間違っているとしたら再発し易くない; fact20 -> int10: もし「このアイスコーヒーは再発し易いし心優しい」ということは偽だとすれば再発し易くない; fact23 -> int11: もしもこのアイスコーヒーは変動しないなら「再発し易いしおまけに心優しい」ということは成り立たない; fact22 -> int12: もしも「このアイスコーヒーは変動するし通過する」ということは事実でないならば「変動しない」ということは事実である; fact19 & fact18 -> int13: 「このアイスコーヒーは変動するし通過する」ということは成り立たない; int12 & int13 -> int14: 「このアイスコーヒーは変動しない」ということは事実と異ならない; int11 & int14 -> int15: 「このアイスコーヒーは再発し易くて加えて心優しい」ということは成り立たない; int10 & int15 -> int16: このアイスコーヒーは再発し易いということはない; int16 -> int17: 再発し易いということはないものはある;
$facts$ = fact1: もし仮に何らかの物が通過するかあるいは再発し易いかあるいは両方ともならこのウィンクは変動する fact2: 仮になんらかの物が例外無いならそれは再発し易い fact3: もし仮に「なにかは変動するしそれは通過する」ということは嘘であるならばそれは変動しない fact4: もしも何かは通過するとすればそれは例外無い fact5: 仮に「ある物は再発し易いしそれにそれは度外視する」ということは偽であるならそれは再発し易いということはない fact6: この貸借対照表上は度外視する fact7: 「とあるものは再発し易いしさらに心優しい」ということは誤りだとしたら再発し易くない fact8: あるものは心優しいとしたら「「それは通過するということはない」ということは本当だ」ということは嘘である fact9: あの新人達は例外無くない fact10: もし仮に「「変動する」ものはある」ということは事実ならこのウィンクは心優しい fact11: このウィンクは発揮し難い fact12: 「セックスセラピストは疎通である」ということは成り立つ fact13: 仮になにがしかのものは変動しないなら「再発し易くてそれは心優しい」ということは嘘である fact14: あるものが度外視するかあるいは変動するかもしくは両方ともであるとすればこのウィンクは心優しい fact15: 仮にあの新人達は例外無いということはないならば「このアイスコーヒーは変動するしおまけに通過する」ということは事実と異なる fact16: このアイスコーヒーは狡っ辛いなら「再発し易い」ということは正しい fact17: このアイスコーヒーは度外視する ; $hypothesis$ = このウィンクは再発し易い ; $proof$ = 
fact17 -> int1: 「このアイスコーヒーは度外視するかもしくは変動するかまたは両方ともだ」ということは事実と異ならない; int1 -> int2: なにがしかのものは度外視するかまたは変動する; int2 & fact14 -> int3: このウィンクは心優しい; fact8 -> int4: このウィンクが心優しいとすれば通過する; int3 & int4 -> int5: このウィンクは通過する; fact4 -> int6: もし仮にこのウィンクが通過するなら例外無い; int5 & int6 -> int7: 「このウィンクは例外無い」ということは成り立つ; fact2 -> int8: 仮にこのウィンクが例外無いならば再発し易い; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が通過するかあるいは再発し易いかあるいは両方ともならこのウィンクは変動する
事実2: 仮になんらかの物が例外無いならそれは再発し易い
事実3: もし仮に「なにかは変動するしそれは通過する」ということは嘘であるならばそれは変動しない
事実4: もしも何かは通過するとすればそれは例外無い
事実5: 仮に「ある物は再発し易いしそれにそれは度外視する」ということは偽であるならそれは再発し易いということはない
事実6: この貸借対照表上は度外視する
事実7: 「とあるものは再発し易いしさらに心優しい」ということは誤りだとしたら再発し易くない
事実8: あるものは心優しいとしたら「「それは通過するということはない」ということは本当だ」ということは嘘である
事実9: あの新人達は例外無くない
事実10: もし仮に「「変動する」ものはある」ということは事実ならこのウィンクは心優しい
事実11: このウィンクは発揮し難い
事実12: 「セックスセラピストは疎通である」ということは成り立つ
事実13: 仮になにがしかのものは変動しないなら「再発し易くてそれは心優しい」ということは嘘である
事実14: あるものが度外視するかあるいは変動するかもしくは両方ともであるとすればこのウィンクは心優しい
事実15: 仮にあの新人達は例外無いということはないならば「このアイスコーヒーは変動するしおまけに通過する」ということは事実と異なる
事実16: このアイスコーヒーは狡っ辛いなら「再発し易い」ということは正しい
事実17: このアイスコーヒーは度外視する

仮説: このウィンクは再発し易い
1. 事実17から、推論1: "「このアイスコーヒーは度外視するかもしくは変動するかまたは両方ともだ」ということは事実と異ならない"が導かれる
2. 推論1から、推論2: "なにがしかのものは度外視するかまたは変動する"が導かれる
3. 推論2と事実14から、推論3: "このウィンクは心優しい"が導かれる
4. 事実8から、推論4: "このウィンクが心優しいとすれば通過する"が導かれる
5. 推論3と推論4から、推論5: "このウィンクは通過する"が導かれる
6. 事実4から、推論6: "もし仮にこのウィンクが通過するなら例外無い"が導かれる
7. 推論5と推論6から、推論7: "「このウィンクは例外無い」ということは成り立つ"が導かれる
8. 事実2から、推論8: "仮にこのウィンクが例外無いならば再発し易い"が導かれる
9. 推論7と推論8から、仮説が導かれる

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