もしこのクレソンは予後因子であるとすると「この朝晩は増発する」ということは成り立つ
fact1: このクレソンは垣間見だ fact2: その自営業は捗々しい fact3: もし仮にその自営業は総点検でないとしたらそれは獲得出来るということはない fact4: もし仮にその自営業が捗々しくないしさらに増発しないならばそれは得難い fact5: その飛行は増発する fact6: その自営業が捗々しいし垣間見であるなら「このクレソンは予後因子でない」ということは偽でない fact7: あのリヤウインドウは垣間見だ fact8: もし仮にその自営業が垣間見でその上得難いとするとこの朝晩は捗々しい fact9: もし「なにかは予後因子であるけれどそれは増発しない」ということは正しくないなら捗々しくない fact10: その机は垣間見である fact11: もし仮に何かは垣間見だということはないし得難くないならそれは増発する fact12: もしその自営業が垣間見であるけれどそれが増発しないなら得難い fact13: もしもこの朝晩が垣間見であるしそれが捗々しいならばあのクレソンは予後因子だ fact14: もし仮に何かは獲得出来ないとしたら「それは予後因子であるし増発しない」ということは誤りである fact15: その自営業は行き易いということはない fact16: その自営業は垣間見だし増発するとすれば「この朝晩は捗々しい」ということは成り立つ fact17: もし「その自営業は捗々しくない」ということは正しいとすると「その自国内は得難いということはないけれど垣間見である」ということは誤っている fact18: もしもその自営業が垣間見でないとすればこの朝晩は垣間見でないししかもそれは得難くない fact19: 得難くない垣間見は増発する fact20: 仮に得難くないものが捗々しくないとすればそれは垣間見だ
void -> assump1: 以下のように仮定する。その自営業は垣間見だ; fact2 & assump1 -> int1: その自営業は捗々しいし垣間見である; int1 & fact6 -> int2: このクレソンは予後因子でない; void -> assump2: 以下のように仮定する。このクレソンは予後因子だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その自営業は垣間見であるということはない; int4 & fact18 -> int5: この朝晩は垣間見でないしおまけにそれは得難くない; fact11 -> int6: この朝晩が垣間見でないしさらにそれが得難くないならばそれは増発する; int5 & int6 -> int7: この朝晩は増発する; [assump2] & int7 -> hypothesis;
その自国内は得難い
fact23 -> int8: 仮に「その自営業は予後因子だが増発しない」ということは誤りであるとすればそれは捗々しくない; fact24 -> int9: その自営業は獲得出来ないとすると「それは予後因子であるがしかし増発しない」ということは成り立たない;
$facts$ = fact1: このクレソンは垣間見だ fact2: その自営業は捗々しい fact3: もし仮にその自営業は総点検でないとしたらそれは獲得出来るということはない fact4: もし仮にその自営業が捗々しくないしさらに増発しないならばそれは得難い fact5: その飛行は増発する fact6: その自営業が捗々しいし垣間見であるなら「このクレソンは予後因子でない」ということは偽でない fact7: あのリヤウインドウは垣間見だ fact8: もし仮にその自営業が垣間見でその上得難いとするとこの朝晩は捗々しい fact9: もし「なにかは予後因子であるけれどそれは増発しない」ということは正しくないなら捗々しくない fact10: その机は垣間見である fact11: もし仮に何かは垣間見だということはないし得難くないならそれは増発する fact12: もしその自営業が垣間見であるけれどそれが増発しないなら得難い fact13: もしもこの朝晩が垣間見であるしそれが捗々しいならばあのクレソンは予後因子だ fact14: もし仮に何かは獲得出来ないとしたら「それは予後因子であるし増発しない」ということは誤りである fact15: その自営業は行き易いということはない fact16: その自営業は垣間見だし増発するとすれば「この朝晩は捗々しい」ということは成り立つ fact17: もし「その自営業は捗々しくない」ということは正しいとすると「その自国内は得難いということはないけれど垣間見である」ということは誤っている fact18: もしもその自営業が垣間見でないとすればこの朝晩は垣間見でないししかもそれは得難くない fact19: 得難くない垣間見は増発する fact20: 仮に得難くないものが捗々しくないとすればそれは垣間見だ ; $hypothesis$ = もしこのクレソンは予後因子であるとすると「この朝晩は増発する」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その自営業は垣間見だ; fact2 & assump1 -> int1: その自営業は捗々しいし垣間見である; int1 & fact6 -> int2: このクレソンは予後因子でない; void -> assump2: 以下のように仮定する。このクレソンは予後因子だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その自営業は垣間見であるということはない; int4 & fact18 -> int5: この朝晩は垣間見でないしおまけにそれは得難くない; fact11 -> int6: この朝晩が垣間見でないしさらにそれが得難くないならばそれは増発する; int5 & int6 -> int7: この朝晩は増発する; [assump2] & int7 -> hypothesis; __PROVED__
事実1: このクレソンは垣間見だ
事実2: その自営業は捗々しい
事実3: もし仮にその自営業は総点検でないとしたらそれは獲得出来るということはない
事実4: もし仮にその自営業が捗々しくないしさらに増発しないならばそれは得難い
事実5: その飛行は増発する
事実6: その自営業が捗々しいし垣間見であるなら「このクレソンは予後因子でない」ということは偽でない
事実7: あのリヤウインドウは垣間見だ
事実8: もし仮にその自営業が垣間見でその上得難いとするとこの朝晩は捗々しい
事実9: もし「なにかは予後因子であるけれどそれは増発しない」ということは正しくないなら捗々しくない
事実10: その机は垣間見である
事実11: もし仮に何かは垣間見だということはないし得難くないならそれは増発する
事実12: もしその自営業が垣間見であるけれどそれが増発しないなら得難い
事実13: もしもこの朝晩が垣間見であるしそれが捗々しいならばあのクレソンは予後因子だ
事実14: もし仮に何かは獲得出来ないとしたら「それは予後因子であるし増発しない」ということは誤りである
事実15: その自営業は行き易いということはない
事実16: その自営業は垣間見だし増発するとすれば「この朝晩は捗々しい」ということは成り立つ
事実17: もし「その自営業は捗々しくない」ということは正しいとすると「その自国内は得難いということはないけれど垣間見である」ということは誤っている
事実18: もしもその自営業が垣間見でないとすればこの朝晩は垣間見でないししかもそれは得難くない
事実19: 得難くない垣間見は増発する
事実20: 仮に得難くないものが捗々しくないとすればそれは垣間見だ

仮説: もしこのクレソンは予後因子であるとすると「この朝晩は増発する」ということは成り立つ
1. 仮定1: 以下のように仮定する。その自営業は垣間見だ
2. 事実2と仮定1から、推論1: "その自営業は捗々しいし垣間見である"が導かれる
3. 推論1と事実6から、推論2: "このクレソンは予後因子でない"が導かれる
4. 仮定2: 以下のように仮定する。このクレソンは予後因子だ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その自営業は垣間見であるということはない"が導かれる
7. 推論4と事実18から、推論5: "この朝晩は垣間見でないしおまけにそれは得難くない"が導かれる
8. 事実11から、推論6: "この朝晩が垣間見でないしさらにそれが得難くないならばそれは増発する"が導かれる
9. 推論5と推論6から、推論7: "この朝晩は増発する"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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