もし仮にこの幼稚園職員室は切り難いならば「その取得は前各項でなくてそれにひもじくない」ということは間違いだ
fact1: その取得は前各項でないしかつひもじいということはない fact2: 名残惜しいものは前各項である fact3: もしこの幼稚園職員室は前各項であるとすると「その取得は前各項であるがそれはひもじいということはない」ということは成り立たない fact4: もし仮にこの幼稚園職員室が切り難いならば名残惜しい fact5: もしもなにがしかの物はＸＯでないとするとそれは切り難いしかつ前各項である fact6: もしもこの幼稚園職員室は前各項であるならば「その取得は前各項でなくてそれにそれはひもじくない」ということは事実と異なる
void -> assump1: 以下のように仮定する。この幼稚園職員室は切り難い; fact4 & assump1 -> int1: この幼稚園職員室は名残惜しい; fact2 -> int2: もしこの幼稚園職員室が名残惜しいなら前各項だ; int1 & int2 -> int3: この幼稚園職員室は前各項だ; int3 & fact6 -> int4: 「その取得は前各項でなくてひもじいということはない」ということは確かであるということはない; [assump1] & int4 -> hypothesis;
この出馬は名残惜しい
fact7 -> int5: もしもこの幼稚園職員室がＸＯでないなら切り難いしおまけに前各項だ;
$facts$ = fact1: その取得は前各項でないしかつひもじいということはない fact2: 名残惜しいものは前各項である fact3: もしこの幼稚園職員室は前各項であるとすると「その取得は前各項であるがそれはひもじいということはない」ということは成り立たない fact4: もし仮にこの幼稚園職員室が切り難いならば名残惜しい fact5: もしもなにがしかの物はＸＯでないとするとそれは切り難いしかつ前各項である fact6: もしもこの幼稚園職員室は前各項であるならば「その取得は前各項でなくてそれにそれはひもじくない」ということは事実と異なる ; $hypothesis$ = もし仮にこの幼稚園職員室は切り難いならば「その取得は前各項でなくてそれにひもじくない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この幼稚園職員室は切り難い; fact4 & assump1 -> int1: この幼稚園職員室は名残惜しい; fact2 -> int2: もしこの幼稚園職員室が名残惜しいなら前各項だ; int1 & int2 -> int3: この幼稚園職員室は前各項だ; int3 & fact6 -> int4: 「その取得は前各項でなくてひもじいということはない」ということは確かであるということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その取得は前各項でないしかつひもじいということはない
事実2: 名残惜しいものは前各項である
事実3: もしこの幼稚園職員室は前各項であるとすると「その取得は前各項であるがそれはひもじいということはない」ということは成り立たない
事実4: もし仮にこの幼稚園職員室が切り難いならば名残惜しい
事実5: もしもなにがしかの物はＸＯでないとするとそれは切り難いしかつ前各項である
事実6: もしもこの幼稚園職員室は前各項であるならば「その取得は前各項でなくてそれにそれはひもじくない」ということは事実と異なる

仮説: もし仮にこの幼稚園職員室は切り難いならば「その取得は前各項でなくてそれにひもじくない」ということは間違いだ
1. 仮定1: 以下のように仮定する。この幼稚園職員室は切り難い
2. 事実4と仮定1から、推論1: "この幼稚園職員室は名残惜しい"が導かれる
3. 事実2から、推論2: "もしこの幼稚園職員室が名残惜しいなら前各項だ"が導かれる
4. 推論1と推論2から、推論3: "この幼稚園職員室は前各項だ"が導かれる
5. 推論3と事実6から、推論4: "「その取得は前各項でなくてひもじいということはない」ということは確かであるということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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