仮にこの十六日付けが垣間見せるならそのとんちきは就職出来ない一方でそれはいじらしい
fact1: 旨し物が垣間見せるとしたら就職出来ない fact2: この自由意志は晩春でない fact3: もしこの十六日付けが就職出来るということはないならそのとんちきは就職出来ないけれどいじらしい fact4: もしもこの自由意志が晩春であるということはないならこの十六日付けは旨しが忘れ得ない
fact4 & fact2 -> int1: この十六日付けは旨しがしかし忘れ得ない; int1 -> int2: この十六日付けは旨し; void -> assump1: 以下のように仮定する。この十六日付けは垣間見せる; int2 & assump1 -> int3: この十六日付けは旨しし加えて垣間見せる; fact1 -> int4: もし仮にこの十六日付けが旨しし垣間見せるならそれは就職出来ない; int3 & int4 -> int5: 「この十六日付けは就職出来ない」ということは成り立つ; int5 & fact3 -> int6: そのとんちきは就職出来ないがしかしいじらしい; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 旨し物が垣間見せるとしたら就職出来ない fact2: この自由意志は晩春でない fact3: もしこの十六日付けが就職出来るということはないならそのとんちきは就職出来ないけれどいじらしい fact4: もしもこの自由意志が晩春であるということはないならこの十六日付けは旨しが忘れ得ない ; $hypothesis$ = 仮にこの十六日付けが垣間見せるならそのとんちきは就職出来ない一方でそれはいじらしい ; $proof$ = 
fact4 & fact2 -> int1: この十六日付けは旨しがしかし忘れ得ない; int1 -> int2: この十六日付けは旨し; void -> assump1: 以下のように仮定する。この十六日付けは垣間見せる; int2 & assump1 -> int3: この十六日付けは旨しし加えて垣間見せる; fact1 -> int4: もし仮にこの十六日付けが旨しし垣間見せるならそれは就職出来ない; int3 & int4 -> int5: 「この十六日付けは就職出来ない」ということは成り立つ; int5 & fact3 -> int6: そのとんちきは就職出来ないがしかしいじらしい; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 旨し物が垣間見せるとしたら就職出来ない
事実2: この自由意志は晩春でない
事実3: もしこの十六日付けが就職出来るということはないならそのとんちきは就職出来ないけれどいじらしい
事実4: もしもこの自由意志が晩春であるということはないならこの十六日付けは旨しが忘れ得ない

仮説: 仮にこの十六日付けが垣間見せるならそのとんちきは就職出来ない一方でそれはいじらしい
1. 事実4と事実2から、推論1: "この十六日付けは旨しがしかし忘れ得ない"が導かれる
2. 推論1から、推論2: "この十六日付けは旨し"が導かれる
3. 仮定1: 以下のように仮定する。この十六日付けは垣間見せる
4. 推論2と仮定1から、推論3: "この十六日付けは旨しし加えて垣間見せる"が導かれる
5. 事実1から、推論4: "もし仮にこの十六日付けが旨しし垣間見せるならそれは就職出来ない"が導かれる
6. 推論3と推論4から、推論5: "「この十六日付けは就職出来ない」ということは成り立つ"が導かれる
7. 推論5と事実3から、推論6: "そのとんちきは就職出来ないがしかしいじらしい"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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