その未申告者は貨幣量でないしさらに考え深くない
fact1: その未申告者は考え深くない fact2: もしその未申告者が焼餅焼きだということはないけどそれが御辛いとしたら排便しない fact3: もし仮に「その未申告者は圧搾するし更にそれは考え深い」ということは間違いならば「この装飾品は考え深くない」ということは真実である fact4: もしもその未申告者は焼餅焼きであるとすれば「それは貨幣量でないしさらにそれは考え深くない」ということは成り立つということはない fact5: 「その未申告者は焼餅焼きでない」ということは誤りでない fact6: 「その未申告者は素っ気なくない」ということは成り立つ fact7: その未申告者は御用心だ fact8: もしもその直立不動が素っ気なくないならその未申告者は圧搾する fact9: その直立不動は素っ気なくない fact10: 御辛くないものは貨幣量でないし更に考え深くない fact11: もしもその直立不動は素っ気なくないならば「その未申告者は圧搾するしさらに排便する」ということは真実である fact12: もし仮にとある物は貨幣量でないなら「それは圧搾するし更に考え深い」ということは成り立たない fact13: 「その未申告者は素っ気なくない」ということは真実であるならその直立不動は圧搾するしそれは考え深い
void -> assump1: 以下のように仮定する。その未申告者は御辛い; fact5 & assump1 -> int1: その未申告者は焼餅焼きでないがしかし御辛い; int1 & fact2 -> int2: その未申告者は排便しない; fact9 & fact11 -> int3: その未申告者は圧搾するし排便する; int3 -> int4: その未申告者は排便する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その未申告者は御辛くない; fact10 -> int7: もしもその未申告者が御辛くないとすればそれは貨幣量でなくて考え深くない; int6 & int7 -> hypothesis;
「その未申告者は貨幣量でなくて考え深くない」ということは偽である
$facts$ = fact1: その未申告者は考え深くない fact2: もしその未申告者が焼餅焼きだということはないけどそれが御辛いとしたら排便しない fact3: もし仮に「その未申告者は圧搾するし更にそれは考え深い」ということは間違いならば「この装飾品は考え深くない」ということは真実である fact4: もしもその未申告者は焼餅焼きであるとすれば「それは貨幣量でないしさらにそれは考え深くない」ということは成り立つということはない fact5: 「その未申告者は焼餅焼きでない」ということは誤りでない fact6: 「その未申告者は素っ気なくない」ということは成り立つ fact7: その未申告者は御用心だ fact8: もしもその直立不動が素っ気なくないならその未申告者は圧搾する fact9: その直立不動は素っ気なくない fact10: 御辛くないものは貨幣量でないし更に考え深くない fact11: もしもその直立不動は素っ気なくないならば「その未申告者は圧搾するしさらに排便する」ということは真実である fact12: もし仮にとある物は貨幣量でないなら「それは圧搾するし更に考え深い」ということは成り立たない fact13: 「その未申告者は素っ気なくない」ということは真実であるならその直立不動は圧搾するしそれは考え深い ; $hypothesis$ = その未申告者は貨幣量でないしさらに考え深くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その未申告者は御辛い; fact5 & assump1 -> int1: その未申告者は焼餅焼きでないがしかし御辛い; int1 & fact2 -> int2: その未申告者は排便しない; fact9 & fact11 -> int3: その未申告者は圧搾するし排便する; int3 -> int4: その未申告者は排便する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その未申告者は御辛くない; fact10 -> int7: もしもその未申告者が御辛くないとすればそれは貨幣量でなくて考え深くない; int6 & int7 -> hypothesis; __PROVED__
事実1: その未申告者は考え深くない
事実2: もしその未申告者が焼餅焼きだということはないけどそれが御辛いとしたら排便しない
事実3: もし仮に「その未申告者は圧搾するし更にそれは考え深い」ということは間違いならば「この装飾品は考え深くない」ということは真実である
事実4: もしもその未申告者は焼餅焼きであるとすれば「それは貨幣量でないしさらにそれは考え深くない」ということは成り立つということはない
事実5: 「その未申告者は焼餅焼きでない」ということは誤りでない
事実6: 「その未申告者は素っ気なくない」ということは成り立つ
事実7: その未申告者は御用心だ
事実8: もしもその直立不動が素っ気なくないならその未申告者は圧搾する
事実9: その直立不動は素っ気なくない
事実10: 御辛くないものは貨幣量でないし更に考え深くない
事実11: もしもその直立不動は素っ気なくないならば「その未申告者は圧搾するしさらに排便する」ということは真実である
事実12: もし仮にとある物は貨幣量でないなら「それは圧搾するし更に考え深い」ということは成り立たない
事実13: 「その未申告者は素っ気なくない」ということは真実であるならその直立不動は圧搾するしそれは考え深い

仮説: その未申告者は貨幣量でないしさらに考え深くない
1. 仮定1: 以下のように仮定する。その未申告者は御辛い
2. 事実5と仮定1から、推論1: "その未申告者は焼餅焼きでないがしかし御辛い"が導かれる
3. 推論1と事実2から、推論2: "その未申告者は排便しない"が導かれる
4. 事実9と事実11から、推論3: "その未申告者は圧搾するし排便する"が導かれる
5. 推論3から、推論4: "その未申告者は排便する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その未申告者は御辛くない"が導かれる
8. 事実10から、推論7: "もしもその未申告者が御辛くないとすればそれは貨幣量でなくて考え深くない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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