もし仮にその思惟が粘り強くないならこの実業補習学校は生き難くないがそれは人口高齢化である
fact1: この石柱が人口高齢化でないとするとこの実業補習学校は生き難くないけど人口高齢化である fact2: もし「何かは生き難いけど粘り強いということはない」ということは成り立たないとすると生き難くない fact3: もし仮に「ある物は有害物質である」ということは事実であるとすればそれは人口高齢化だ fact4: もしも「「物流作業であるしそれに好く」ということは成り立たない」物があるとすればあの思惟は物流作業でない fact5: 仮にその思惟が粘り強いならこの実業補習学校は生き難くない一方で人口高齢化である fact6: この実業補習学校が粘り強くないならばその思惟は人口高齢化でないけど生き難い fact7: もしも何らかのものは人口高齢化であるなら「それは生き難いけど粘り強くない」ということは誤っている fact8: 「この石柱は物流作業でそれにそれは好く」ということは事実でない fact9: もしその思惟が粘り強くないならこの実業補習学校は生き難くない fact10: もしもこの石柱が人口高齢化ならばその思惟は粘り強い fact11: もし仮になにがしかのものが物流作業でないとすればそれは有害物質でその上それは馬鹿らしい
void -> assump1: 以下のように仮定する。この石柱は人口高齢化だ; fact10 & assump1 -> int1: その思惟は粘り強い; void -> assump2: 以下のように仮定する。その思惟は粘り強いということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この石柱は人口高齢化でない; int3 & fact1 -> int4: この実業補習学校は生き難いということはないがしかし人口高齢化だ; [assump2] & int4 -> hypothesis;
その思惟は生き難くない
fact13 -> int5: もし仮に「その思惟は生き難いけれど粘り強いということはない」ということは偽であるとしたら生き難くない; fact16 -> int6: もしもその思惟は人口高齢化だとすれば「それは生き難いしおまけにそれは粘り強いということはない」ということは成り立つということはない; fact17 -> int7: もしもその思惟は有害物質であるとしたらそれは人口高齢化だ; fact14 -> int8: もしもその思惟は物流作業でないとするとそれは有害物質であるし馬鹿らしい; fact12 -> int9: 「「物流作業だしそれに好く」ということは間違いである」ものはある; int9 & fact15 -> int10: その思惟は物流作業であるということはない; int8 & int10 -> int11: その思惟は有害物質であるしかつ馬鹿らしい; int11 -> int12: その思惟は有害物質である; int7 & int12 -> int13: その思惟は人口高齢化だ; int6 & int13 -> int14: 「その思惟は生き難い一方で粘り強くない」ということは嘘である; int5 & int14 -> hypothesis;
$facts$ = fact1: この石柱が人口高齢化でないとするとこの実業補習学校は生き難くないけど人口高齢化である fact2: もし「何かは生き難いけど粘り強いということはない」ということは成り立たないとすると生き難くない fact3: もし仮に「ある物は有害物質である」ということは事実であるとすればそれは人口高齢化だ fact4: もしも「「物流作業であるしそれに好く」ということは成り立たない」物があるとすればあの思惟は物流作業でない fact5: 仮にその思惟が粘り強いならこの実業補習学校は生き難くない一方で人口高齢化である fact6: この実業補習学校が粘り強くないならばその思惟は人口高齢化でないけど生き難い fact7: もしも何らかのものは人口高齢化であるなら「それは生き難いけど粘り強くない」ということは誤っている fact8: 「この石柱は物流作業でそれにそれは好く」ということは事実でない fact9: もしその思惟が粘り強くないならこの実業補習学校は生き難くない fact10: もしもこの石柱が人口高齢化ならばその思惟は粘り強い fact11: もし仮になにがしかのものが物流作業でないとすればそれは有害物質でその上それは馬鹿らしい ; $hypothesis$ = もし仮にその思惟が粘り強くないならこの実業補習学校は生き難くないがそれは人口高齢化である ; $proof$ = 
void -> assump1: 以下のように仮定する。この石柱は人口高齢化だ; fact10 & assump1 -> int1: その思惟は粘り強い; void -> assump2: 以下のように仮定する。その思惟は粘り強いということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この石柱は人口高齢化でない; int3 & fact1 -> int4: この実業補習学校は生き難いということはないがしかし人口高齢化だ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: この石柱が人口高齢化でないとするとこの実業補習学校は生き難くないけど人口高齢化である
事実2: もし「何かは生き難いけど粘り強いということはない」ということは成り立たないとすると生き難くない
事実3: もし仮に「ある物は有害物質である」ということは事実であるとすればそれは人口高齢化だ
事実4: もしも「「物流作業であるしそれに好く」ということは成り立たない」物があるとすればあの思惟は物流作業でない
事実5: 仮にその思惟が粘り強いならこの実業補習学校は生き難くない一方で人口高齢化である
事実6: この実業補習学校が粘り強くないならばその思惟は人口高齢化でないけど生き難い
事実7: もしも何らかのものは人口高齢化であるなら「それは生き難いけど粘り強くない」ということは誤っている
事実8: 「この石柱は物流作業でそれにそれは好く」ということは事実でない
事実9: もしその思惟が粘り強くないならこの実業補習学校は生き難くない
事実10: もしもこの石柱が人口高齢化ならばその思惟は粘り強い
事実11: もし仮になにがしかのものが物流作業でないとすればそれは有害物質でその上それは馬鹿らしい

仮説: もし仮にその思惟が粘り強くないならこの実業補習学校は生き難くないがそれは人口高齢化である
1. 仮定1: 以下のように仮定する。この石柱は人口高齢化だ
2. 事実10と仮定1から、推論1: "その思惟は粘り強い"が導かれる
3. 仮定2: 以下のように仮定する。その思惟は粘り強いということはない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この石柱は人口高齢化でない"が導かれる
6. 推論3と事実1から、推論4: "この実業補習学校は生き難いということはないがしかし人口高齢化だ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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