その元号は荷札でないがしかしそれは一考察だ
fact1: もし仮に「一考察である」ものはあるとしたら「このからかいは御宜しくないしそれにゴリラだということはない」ということは偽である fact2: このからかいは憂くないし広がり易いということはない fact3: 「このからかいが近付くがそれが御存じ無くないとするとその元号は御存じ無くない」ということは事実である fact4: もし「このからかいは蜜柑科であるしそれは片付け為さる」ということは誤っているとしたらこのＺＩＰは近付かない fact5: 仮になんらかの物は御存じ無くないとすると「「荷札でないけれど一考察である」ということは成り立つ」ということは間違いだ fact6: もしもこのＺＩＰがネイティブらしくないとしたらそれは骨っぽいししかも太刀である fact7: もし「このＺＩＰは御存じ無いということはない」ということは本当であるとしたらその群生地は顆粒膜細胞腫であるということはないけれど顧客だ fact8: なんらかの物は骨っぽくないしネイティブらしくないとするとゴリラだ fact9: 仮に「このＺＩＰは近付くということはない」ということは事実と異ならないとするとそれは御存じ無くない fact10: 「このからかいは蜜柑科であるしそれは片付け為さる」ということは成り立たない fact11: その元号は近付くということはない fact12: もしもその群生地は顆粒膜細胞腫でないが顧客であるとしたらそれは太刀でない fact13: もし仮になにがしかのものは御存じ無くないならば「愛らしさであるし更に遠望する」ということは正しくない fact14: 「このＺＩＰはゴリラでないけれど御宜しい」ということは真実だということはない fact15: 「もしもその元号が御宜しいとするとその元号は荷札でないがしかし一考察だ」ということは偽でない fact16: 「ゴリラは御宜しい」ということは正しい fact17: もし仮に「このからかいは近付くかあるいは顆粒膜細胞腫だ」ということは事実と異なるとするとその群生地は御存じ無くない fact18: 仮に「このＺＩＰはゴリラであるということはないけれど御宜しい」ということは間違いならばそれはネイティブらしくない fact19: 「もしもその群生地が太刀でないとすればあの元号は骨っぽくないししかもネイティブらしくない」ということは事実だ fact20: もしその元号が太刀でないとすればその群生地は御宜しくないけどネイティブらしい fact21: もし仮にとあるものは太刀であるとすると「顆粒膜細胞腫だし顧客だということはない」ということは間違っている fact22: 仮に「あるものは御宜しくないし更にゴリラでない」ということは成り立たないとするとそれはネイティブらしくない fact23: もし仮にある物は顧客だということはないとすれば「それは近付くかそれは顆粒膜細胞腫であるかあるいは両方だ」ということは真実であるということはない fact24: もし仮にその元号が荷札であるならばあのＺＩＰは一考察だ fact25: 仮に骨っぽいものは太刀でないなら顧客でない fact26: もしも何らかの物が顆粒膜細胞腫でないとすればそれは近付くけれど御存じ無くない fact27: 仮にその群生地が蜜柑科であるが一考察であるということはないなら太刀だ
fact4 & fact10 -> int1: このＺＩＰは近付くということはない; int1 & fact9 -> int2: 「このＺＩＰは御存じ無くない」ということは本当だ; int2 & fact7 -> int3: 「その群生地は顆粒膜細胞腫でないが顧客である」ということは偽でない; int3 & fact12 -> int4: その群生地は太刀でない; int4 & fact19 -> int5: その元号は骨っぽくないしまたネイティブらしくない; fact8 -> int6: もし仮にその元号が骨っぽくないしネイティブらしいということはないならばそれはゴリラである; int5 & int6 -> int7: その元号はゴリラだ; fact16 -> int8: もしその元号がゴリラなら御宜しい; int7 & int8 -> int9: 「その元号は御宜しい」ということは真実である; int9 & fact15 -> hypothesis;
「その群生地が愛らしさだしかつ遠望する」ということは確かであるということはない
fact31 -> int10: もしもその群生地は御存じ無いということはないとしたら「それは愛らしさであるし更に遠望する」ということは事実と異なる; fact29 -> int11: もし仮に「このからかいは顧客でない」ということは正しいならば「それは近付くかあるいは顆粒膜細胞腫であるかどちらもである」ということは嘘だ; fact28 -> int12: もしこのからかいが骨っぽいがしかしそれは太刀でないなら顧客でない; fact30 -> int13: もし「このからかいは御宜しくなくてゴリラでない」ということは確かでないなら「それはネイティブらしくない」ということは事実である;
$facts$ = fact1: もし仮に「一考察である」ものはあるとしたら「このからかいは御宜しくないしそれにゴリラだということはない」ということは偽である fact2: このからかいは憂くないし広がり易いということはない fact3: 「このからかいが近付くがそれが御存じ無くないとするとその元号は御存じ無くない」ということは事実である fact4: もし「このからかいは蜜柑科であるしそれは片付け為さる」ということは誤っているとしたらこのＺＩＰは近付かない fact5: 仮になんらかの物は御存じ無くないとすると「「荷札でないけれど一考察である」ということは成り立つ」ということは間違いだ fact6: もしもこのＺＩＰがネイティブらしくないとしたらそれは骨っぽいししかも太刀である fact7: もし「このＺＩＰは御存じ無いということはない」ということは本当であるとしたらその群生地は顆粒膜細胞腫であるということはないけれど顧客だ fact8: なんらかの物は骨っぽくないしネイティブらしくないとするとゴリラだ fact9: 仮に「このＺＩＰは近付くということはない」ということは事実と異ならないとするとそれは御存じ無くない fact10: 「このからかいは蜜柑科であるしそれは片付け為さる」ということは成り立たない fact11: その元号は近付くということはない fact12: もしもその群生地は顆粒膜細胞腫でないが顧客であるとしたらそれは太刀でない fact13: もし仮になにがしかのものは御存じ無くないならば「愛らしさであるし更に遠望する」ということは正しくない fact14: 「このＺＩＰはゴリラでないけれど御宜しい」ということは真実だということはない fact15: 「もしもその元号が御宜しいとするとその元号は荷札でないがしかし一考察だ」ということは偽でない fact16: 「ゴリラは御宜しい」ということは正しい fact17: もし仮に「このからかいは近付くかあるいは顆粒膜細胞腫だ」ということは事実と異なるとするとその群生地は御存じ無くない fact18: 仮に「このＺＩＰはゴリラであるということはないけれど御宜しい」ということは間違いならばそれはネイティブらしくない fact19: 「もしもその群生地が太刀でないとすればあの元号は骨っぽくないししかもネイティブらしくない」ということは事実だ fact20: もしその元号が太刀でないとすればその群生地は御宜しくないけどネイティブらしい fact21: もし仮にとあるものは太刀であるとすると「顆粒膜細胞腫だし顧客だということはない」ということは間違っている fact22: 仮に「あるものは御宜しくないし更にゴリラでない」ということは成り立たないとするとそれはネイティブらしくない fact23: もし仮にある物は顧客だということはないとすれば「それは近付くかそれは顆粒膜細胞腫であるかあるいは両方だ」ということは真実であるということはない fact24: もし仮にその元号が荷札であるならばあのＺＩＰは一考察だ fact25: 仮に骨っぽいものは太刀でないなら顧客でない fact26: もしも何らかの物が顆粒膜細胞腫でないとすればそれは近付くけれど御存じ無くない fact27: 仮にその群生地が蜜柑科であるが一考察であるということはないなら太刀だ ; $hypothesis$ = その元号は荷札でないがしかしそれは一考察だ ; $proof$ = 
fact4 & fact10 -> int1: このＺＩＰは近付くということはない; int1 & fact9 -> int2: 「このＺＩＰは御存じ無くない」ということは本当だ; int2 & fact7 -> int3: 「その群生地は顆粒膜細胞腫でないが顧客である」ということは偽でない; int3 & fact12 -> int4: その群生地は太刀でない; int4 & fact19 -> int5: その元号は骨っぽくないしまたネイティブらしくない; fact8 -> int6: もし仮にその元号が骨っぽくないしネイティブらしいということはないならばそれはゴリラである; int5 & int6 -> int7: その元号はゴリラだ; fact16 -> int8: もしその元号がゴリラなら御宜しい; int7 & int8 -> int9: 「その元号は御宜しい」ということは真実である; int9 & fact15 -> hypothesis; __PROVED__
事実1: もし仮に「一考察である」ものはあるとしたら「このからかいは御宜しくないしそれにゴリラだということはない」ということは偽である
事実2: このからかいは憂くないし広がり易いということはない
事実3: 「このからかいが近付くがそれが御存じ無くないとするとその元号は御存じ無くない」ということは事実である
事実4: もし「このからかいは蜜柑科であるしそれは片付け為さる」ということは誤っているとしたらこのＺＩＰは近付かない
事実5: 仮になんらかの物は御存じ無くないとすると「「荷札でないけれど一考察である」ということは成り立つ」ということは間違いだ
事実6: もしもこのＺＩＰがネイティブらしくないとしたらそれは骨っぽいししかも太刀である
事実7: もし「このＺＩＰは御存じ無いということはない」ということは本当であるとしたらその群生地は顆粒膜細胞腫であるということはないけれど顧客だ
事実8: なんらかの物は骨っぽくないしネイティブらしくないとするとゴリラだ
事実9: 仮に「このＺＩＰは近付くということはない」ということは事実と異ならないとするとそれは御存じ無くない
事実10: 「このからかいは蜜柑科であるしそれは片付け為さる」ということは成り立たない
事実11: その元号は近付くということはない
事実12: もしもその群生地は顆粒膜細胞腫でないが顧客であるとしたらそれは太刀でない
事実13: もし仮になにがしかのものは御存じ無くないならば「愛らしさであるし更に遠望する」ということは正しくない
事実14: 「このＺＩＰはゴリラでないけれど御宜しい」ということは真実だということはない
事実15: 「もしもその元号が御宜しいとするとその元号は荷札でないがしかし一考察だ」ということは偽でない
事実16: 「ゴリラは御宜しい」ということは正しい
事実17: もし仮に「このからかいは近付くかあるいは顆粒膜細胞腫だ」ということは事実と異なるとするとその群生地は御存じ無くない
事実18: 仮に「このＺＩＰはゴリラであるということはないけれど御宜しい」ということは間違いならばそれはネイティブらしくない
事実19: 「もしもその群生地が太刀でないとすればあの元号は骨っぽくないししかもネイティブらしくない」ということは事実だ
事実20: もしその元号が太刀でないとすればその群生地は御宜しくないけどネイティブらしい
事実21: もし仮にとあるものは太刀であるとすると「顆粒膜細胞腫だし顧客だということはない」ということは間違っている
事実22: 仮に「あるものは御宜しくないし更にゴリラでない」ということは成り立たないとするとそれはネイティブらしくない
事実23: もし仮にある物は顧客だということはないとすれば「それは近付くかそれは顆粒膜細胞腫であるかあるいは両方だ」ということは真実であるということはない
事実24: もし仮にその元号が荷札であるならばあのＺＩＰは一考察だ
事実25: 仮に骨っぽいものは太刀でないなら顧客でない
事実26: もしも何らかの物が顆粒膜細胞腫でないとすればそれは近付くけれど御存じ無くない
事実27: 仮にその群生地が蜜柑科であるが一考察であるということはないなら太刀だ

仮説: その元号は荷札でないがしかしそれは一考察だ
1. 事実4と事実10から、推論1: "このＺＩＰは近付くということはない"が導かれる
2. 推論1と事実9から、推論2: "「このＺＩＰは御存じ無くない」ということは本当だ"が導かれる
3. 推論2と事実7から、推論3: "「その群生地は顆粒膜細胞腫でないが顧客である」ということは偽でない"が導かれる
4. 推論3と事実12から、推論4: "その群生地は太刀でない"が導かれる
5. 推論4と事実19から、推論5: "その元号は骨っぽくないしまたネイティブらしくない"が導かれる
6. 事実8から、推論6: "もし仮にその元号が骨っぽくないしネイティブらしいということはないならばそれはゴリラである"が導かれる
7. 推論5と推論6から、推論7: "その元号はゴリラだ"が導かれる
8. 事実16から、推論8: "もしその元号がゴリラなら御宜しい"が導かれる
9. 推論7と推論8から、推論9: "「その元号は御宜しい」ということは真実である"が導かれる
10. 推論9と事実15から、仮説が導かれる

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