もしあの当期純利益金額が予防注射ならあの大時計はしんどい
fact1: もしなにがしかの物は会計処理等だとしたら「それは取捨でなくてかつ感じ難くない」ということは成り立たない fact2: 「「あの当期純利益金額はクルリ棒であるということはないしおまけにそれは入り難くない」ということは間違っている」ということは成り立つとするとあの大時計はしんどい fact3: 仮に「あの当期純利益金額はしんどい」ということは成り立つなら「クルリ棒でないし加えて予防注射である」ということは事実だということはない fact4: もし仮にあの当期純利益金額は予防注射であるならば「それはクルリ棒でなくて入り難いということはない」ということは成り立たない fact5: もしあの当期純利益金額が予防注射であるとするとあの大時計は入り難い
void -> assump1: 以下のように仮定する。あの当期純利益金額は予防注射である; fact4 & assump1 -> int1: 「あの当期純利益金額はクルリ棒でないししかも入り難いということはない」ということは成り立たない; int1 & fact2 -> int2: あの大時計はしんどい; [assump1] & int2 -> hypothesis;
もしこのテレビ画面は会計処理等であるなら「「取捨でなくてしかも感じ難くない」ということは成り立つ」ということは間違いだ
fact6 -> hypothesis;
$facts$ = fact1: もしなにがしかの物は会計処理等だとしたら「それは取捨でなくてかつ感じ難くない」ということは成り立たない fact2: 「「あの当期純利益金額はクルリ棒であるということはないしおまけにそれは入り難くない」ということは間違っている」ということは成り立つとするとあの大時計はしんどい fact3: 仮に「あの当期純利益金額はしんどい」ということは成り立つなら「クルリ棒でないし加えて予防注射である」ということは事実だということはない fact4: もし仮にあの当期純利益金額は予防注射であるならば「それはクルリ棒でなくて入り難いということはない」ということは成り立たない fact5: もしあの当期純利益金額が予防注射であるとするとあの大時計は入り難い ; $hypothesis$ = もしあの当期純利益金額が予防注射ならあの大時計はしんどい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの当期純利益金額は予防注射である; fact4 & assump1 -> int1: 「あの当期純利益金額はクルリ棒でないししかも入り難いということはない」ということは成り立たない; int1 & fact2 -> int2: あの大時計はしんどい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は会計処理等だとしたら「それは取捨でなくてかつ感じ難くない」ということは成り立たない
事実2: 「「あの当期純利益金額はクルリ棒であるということはないしおまけにそれは入り難くない」ということは間違っている」ということは成り立つとするとあの大時計はしんどい
事実3: 仮に「あの当期純利益金額はしんどい」ということは成り立つなら「クルリ棒でないし加えて予防注射である」ということは事実だということはない
事実4: もし仮にあの当期純利益金額は予防注射であるならば「それはクルリ棒でなくて入り難いということはない」ということは成り立たない
事実5: もしあの当期純利益金額が予防注射であるとするとあの大時計は入り難い

仮説: もしあの当期純利益金額が予防注射ならあの大時計はしんどい
1. 仮定1: 以下のように仮定する。あの当期純利益金額は予防注射である
2. 事実4と仮定1から、推論1: "「あの当期純利益金額はクルリ棒でないししかも入り難いということはない」ということは成り立たない"が導かれる
3. 推論1と事実2から、推論2: "あの大時計はしんどい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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