「「仮にそのＷＯがみみっちいとするとあの糸うねりモデルは剥がれる」ということは確かである」ということは事実と異なる
fact1: 「そのＷＯは剥がれる」ということは確かである fact2: もし「みみっちい」物があるとすればあの長寿食は剥がれるし鯱張る fact3: あの長寿食は鯱張る fact4: もしもなにがしかのものがみみっちいとすれば磨り潰す fact5: 仮になんらかのものがみみっちいならあの長寿食は中高層でかつそれは鯱張る fact6: もし仮になんらかの物が剥がれるとするとあの糸うねりモデルはみみっちくてさらに中高層である fact7: あの長寿食が剥がれるしその上それは地方史である fact8: あの糸うねりモデルは鯱張る fact9: もしあの長寿食が中高層だとすればあの糸うねりモデルは剥がれる fact10: 仮に「みみっちい」ものがあるならあの長寿食は鯱張る fact11: もしなにがしかのものが鯱張るならみみっちい
void -> assump1: 以下のように仮定する。そのＷＯはみみっちい; assump1 -> int1: 「みみっちい」物はある; int1 & fact5 -> int2: あの長寿食が中高層だしそれは鯱張る; int2 -> int3: あの長寿食は中高層である; int3 & fact9 -> int4: あの糸うねりモデルは剥がれる; [assump1] & int4 -> hypothesis;
「磨り潰す」ものはある
fact13 -> int5: もし「あの長寿食はみみっちい」ということは成り立つとしたら磨り潰す; fact12 -> int6: もしもあの長寿食が鯱張るならみみっちい;
$facts$ = fact1: 「そのＷＯは剥がれる」ということは確かである fact2: もし「みみっちい」物があるとすればあの長寿食は剥がれるし鯱張る fact3: あの長寿食は鯱張る fact4: もしもなにがしかのものがみみっちいとすれば磨り潰す fact5: 仮になんらかのものがみみっちいならあの長寿食は中高層でかつそれは鯱張る fact6: もし仮になんらかの物が剥がれるとするとあの糸うねりモデルはみみっちくてさらに中高層である fact7: あの長寿食が剥がれるしその上それは地方史である fact8: あの糸うねりモデルは鯱張る fact9: もしあの長寿食が中高層だとすればあの糸うねりモデルは剥がれる fact10: 仮に「みみっちい」ものがあるならあの長寿食は鯱張る fact11: もしなにがしかのものが鯱張るならみみっちい ; $hypothesis$ = 「「仮にそのＷＯがみみっちいとするとあの糸うねりモデルは剥がれる」ということは確かである」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＷＯはみみっちい; assump1 -> int1: 「みみっちい」物はある; int1 & fact5 -> int2: あの長寿食が中高層だしそれは鯱張る; int2 -> int3: あの長寿食は中高層である; int3 & fact9 -> int4: あの糸うねりモデルは剥がれる; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「そのＷＯは剥がれる」ということは確かである
事実2: もし「みみっちい」物があるとすればあの長寿食は剥がれるし鯱張る
事実3: あの長寿食は鯱張る
事実4: もしもなにがしかのものがみみっちいとすれば磨り潰す
事実5: 仮になんらかのものがみみっちいならあの長寿食は中高層でかつそれは鯱張る
事実6: もし仮になんらかの物が剥がれるとするとあの糸うねりモデルはみみっちくてさらに中高層である
事実7: あの長寿食が剥がれるしその上それは地方史である
事実8: あの糸うねりモデルは鯱張る
事実9: もしあの長寿食が中高層だとすればあの糸うねりモデルは剥がれる
事実10: 仮に「みみっちい」ものがあるならあの長寿食は鯱張る
事実11: もしなにがしかのものが鯱張るならみみっちい

仮説: 「「仮にそのＷＯがみみっちいとするとあの糸うねりモデルは剥がれる」ということは確かである」ということは事実と異なる
1. 仮定1: 以下のように仮定する。そのＷＯはみみっちい
2. 仮定1から、推論1: "「みみっちい」物はある"が導かれる
3. 推論1と事実5から、推論2: "あの長寿食が中高層だしそれは鯱張る"が導かれる
4. 推論2から、推論3: "あの長寿食は中高層である"が導かれる
5. 推論3と事実9から、推論4: "あの糸うねりモデルは剥がれる"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。