あの縮緬は遣り辛くない
fact1: もし「なにがしかの物は遅し一方でそれは南西諸島でない」ということは誤っているとしたら南西諸島だ fact2: 「あの二十四色は三銃士でないしそれは近代化するということはない」ということは成り立たない fact3: 仮にあの口腔乾燥は認め難くないならば「その三．は遅しけど南西諸島だということはない」ということは事実と異なる fact4: もし仮に「近代化するけど南西諸島でない」ものがあるならばあの縮緬は遣り辛くない fact5: 仮にその解除が税効果会計基準であるしまた差し支えるとするとあの口腔乾燥は認め難くない fact6: 仮にこの昆虫採集が蹴飛ばさないとすればその解除は程良くてまた差し支える fact7: この昆虫採集は蹴飛ばさない fact8: もし「南西諸島な」ものはあるとすると「あの二十四色は近代化しないし更に遣り辛くない」ということは偽だ fact9: その解除は税効果会計基準であるしそれは言い辛い fact10: あの四面無節は近代化するがしかし南西諸島でない
fact10 -> int1: 「近代化するしその上南西諸島でない」ものはある; int1 & fact4 -> hypothesis;
fact10 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact4 -> hypothesis;
あの縮緬は遣り辛い
fact14 -> int2: 「「その三．は遅しが南西諸島でない」ということは偽だ」ということは成り立つとすれば「南西諸島である」ということは本当だ; fact15 -> int3: その解除は税効果会計基準だ; fact12 & fact17 -> int4: 「その解除は程良くて加えてそれは差し支える」ということは正しい; int4 -> int5: その解除は差し支える; int3 & int5 -> int6: その解除は税効果会計基準でそれにそれは差し支える; fact13 & int6 -> int7: あの口腔乾燥は認め難くない; fact16 & int7 -> int8: 「その三．は遅しけど南西諸島であるということはない」ということは成り立たない; int2 & int8 -> int9: 「その三．は南西諸島である」ということは成り立つ; int9 -> int10: 何らかの物は南西諸島である; int10 & fact11 -> int11: 「あの二十四色は近代化しないし加えて遣り辛くない」ということは間違いである; int11 -> int12: 「「「近代化しなくて遣り辛いということはない」ということは確かだ」ということは嘘である」物はある;
$facts$ = fact1: もし「なにがしかの物は遅し一方でそれは南西諸島でない」ということは誤っているとしたら南西諸島だ fact2: 「あの二十四色は三銃士でないしそれは近代化するということはない」ということは成り立たない fact3: 仮にあの口腔乾燥は認め難くないならば「その三．は遅しけど南西諸島だということはない」ということは事実と異なる fact4: もし仮に「近代化するけど南西諸島でない」ものがあるならばあの縮緬は遣り辛くない fact5: 仮にその解除が税効果会計基準であるしまた差し支えるとするとあの口腔乾燥は認め難くない fact6: 仮にこの昆虫採集が蹴飛ばさないとすればその解除は程良くてまた差し支える fact7: この昆虫採集は蹴飛ばさない fact8: もし「南西諸島な」ものはあるとすると「あの二十四色は近代化しないし更に遣り辛くない」ということは偽だ fact9: その解除は税効果会計基準であるしそれは言い辛い fact10: あの四面無節は近代化するがしかし南西諸島でない ; $hypothesis$ = あの縮緬は遣り辛くない ; $proof$ = 
fact10 -> int1: 「近代化するしその上南西諸島でない」ものはある; int1 & fact4 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物は遅し一方でそれは南西諸島でない」ということは誤っているとしたら南西諸島だ
事実2: 「あの二十四色は三銃士でないしそれは近代化するということはない」ということは成り立たない
事実3: 仮にあの口腔乾燥は認め難くないならば「その三．は遅しけど南西諸島だということはない」ということは事実と異なる
事実4: もし仮に「近代化するけど南西諸島でない」ものがあるならばあの縮緬は遣り辛くない
事実5: 仮にその解除が税効果会計基準であるしまた差し支えるとするとあの口腔乾燥は認め難くない
事実6: 仮にこの昆虫採集が蹴飛ばさないとすればその解除は程良くてまた差し支える
事実7: この昆虫採集は蹴飛ばさない
事実8: もし「南西諸島な」ものはあるとすると「あの二十四色は近代化しないし更に遣り辛くない」ということは偽だ
事実9: その解除は税効果会計基準であるしそれは言い辛い
事実10: あの四面無節は近代化するがしかし南西諸島でない

仮説: あの縮緬は遣り辛くない
1. 事実10から、推論1: "「近代化するしその上南西諸島でない」ものはある"が導かれる
2. 推論1と事実4から、仮説が導かれる

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