その六日生まれは尊敬しない
fact1: 「「豪華さであるし細まる」ということは成り立たない」物があればあの伝領は細まるない fact2: 来辛いものはある fact3: もし仮に何らかの物は生温いかあるいは素晴らしくないかあるいは両方であるとしたらそれは生温い fact4: 仮になにがしかのものが来辛いがしかし細まるないならばその六日生まれは尊敬しない fact5: もし仮に何かは来辛いならそれは尊敬する fact6: もし仮に「あの伝領は尊敬するがしかし細まるない」ということは誤っているとするとその六日生まれは来辛い fact7: もし仮に何らかの物は素晴らしくないとすれば「それは豪華さであるしかつ細まる」ということは本当でない fact8: あのデッドがネイティブらしいとするとあの施策等は素晴らしくない fact9: 「あのデッドは鳴り止まない」ということは嘘でないとすると分離独立するししかも整復する fact10: このグアテマラ人は来辛い fact11: 豪華さは生温いかあるいは素晴らしくない fact12: もし仮にあのデッドが分離独立すればネイティブらしい fact13: もしもその六日生まれが来辛いとすればこのグアテマラ人は犇めくがしかしどぎまぎしない fact14: 仮に何らかの物は生温いならば「それは尊敬するけれど細まるない」ということは偽だ fact15: 「来辛いしその上細まる」ものはある fact16: 仮に「細まるということはない」物はあるなら「このグアテマラ人は生温いかまたは来辛い」ということは正しい fact17: このグアテマラ人は細まるない fact18: あのデッドは無理無くないしそれは鳴り止まない fact19: その六日生まれは細まるない fact20: あの肉塊は細まるない
fact10 & fact17 -> int1: このグアテマラ人は来辛いがそれは細まるない; int1 -> int2: ある物は来辛い一方でそれは細まるない; int2 & fact4 -> hypothesis;
その六日生まれは尊敬する
fact25 -> int3: その六日生まれが来辛いならばそれは尊敬する; fact24 -> int4: あの施策等は素晴らしくないとすれば「豪華さであるしその上細まる」ということは誤りである; fact27 -> int5: あのデッドは鳴り止まない; fact22 & int5 -> int6: あのデッドは分離独立するしさらに整復する; int6 -> int7: あのデッドは分離独立する; fact23 & int7 -> int8: あのデッドはネイティブらしい; fact26 & int8 -> int9: あの施策等は素晴らしくない; int4 & int9 -> int10: 「あの施策等が豪華さだしそれは細まる」ということは成り立たない; int10 -> int11: 「「豪華さであるし更に細まる」ということは確かでない」ものはある; int11 & fact21 -> int12: あの伝領は細まるない; int12 -> int13: 「「細まるということはない」物はある」ということは事実だ; int13 & fact28 -> int14: このグアテマラ人は生温いかあるいは来辛いかもしくは両方ともである;
$facts$ = fact1: 「「豪華さであるし細まる」ということは成り立たない」物があればあの伝領は細まるない fact2: 来辛いものはある fact3: もし仮に何らかの物は生温いかあるいは素晴らしくないかあるいは両方であるとしたらそれは生温い fact4: 仮になにがしかのものが来辛いがしかし細まるないならばその六日生まれは尊敬しない fact5: もし仮に何かは来辛いならそれは尊敬する fact6: もし仮に「あの伝領は尊敬するがしかし細まるない」ということは誤っているとするとその六日生まれは来辛い fact7: もし仮に何らかの物は素晴らしくないとすれば「それは豪華さであるしかつ細まる」ということは本当でない fact8: あのデッドがネイティブらしいとするとあの施策等は素晴らしくない fact9: 「あのデッドは鳴り止まない」ということは嘘でないとすると分離独立するししかも整復する fact10: このグアテマラ人は来辛い fact11: 豪華さは生温いかあるいは素晴らしくない fact12: もし仮にあのデッドが分離独立すればネイティブらしい fact13: もしもその六日生まれが来辛いとすればこのグアテマラ人は犇めくがしかしどぎまぎしない fact14: 仮に何らかの物は生温いならば「それは尊敬するけれど細まるない」ということは偽だ fact15: 「来辛いしその上細まる」ものはある fact16: 仮に「細まるということはない」物はあるなら「このグアテマラ人は生温いかまたは来辛い」ということは正しい fact17: このグアテマラ人は細まるない fact18: あのデッドは無理無くないしそれは鳴り止まない fact19: その六日生まれは細まるない fact20: あの肉塊は細まるない ; $hypothesis$ = その六日生まれは尊敬しない ; $proof$ = 
fact10 & fact17 -> int1: このグアテマラ人は来辛いがそれは細まるない; int1 -> int2: ある物は来辛い一方でそれは細まるない; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「「豪華さであるし細まる」ということは成り立たない」物があればあの伝領は細まるない
事実2: 来辛いものはある
事実3: もし仮に何らかの物は生温いかあるいは素晴らしくないかあるいは両方であるとしたらそれは生温い
事実4: 仮になにがしかのものが来辛いがしかし細まるないならばその六日生まれは尊敬しない
事実5: もし仮に何かは来辛いならそれは尊敬する
事実6: もし仮に「あの伝領は尊敬するがしかし細まるない」ということは誤っているとするとその六日生まれは来辛い
事実7: もし仮に何らかの物は素晴らしくないとすれば「それは豪華さであるしかつ細まる」ということは本当でない
事実8: あのデッドがネイティブらしいとするとあの施策等は素晴らしくない
事実9: 「あのデッドは鳴り止まない」ということは嘘でないとすると分離独立するししかも整復する
事実10: このグアテマラ人は来辛い
事実11: 豪華さは生温いかあるいは素晴らしくない
事実12: もし仮にあのデッドが分離独立すればネイティブらしい
事実13: もしもその六日生まれが来辛いとすればこのグアテマラ人は犇めくがしかしどぎまぎしない
事実14: 仮に何らかの物は生温いならば「それは尊敬するけれど細まるない」ということは偽だ
事実15: 「来辛いしその上細まる」ものはある
事実16: 仮に「細まるということはない」物はあるなら「このグアテマラ人は生温いかまたは来辛い」ということは正しい
事実17: このグアテマラ人は細まるない
事実18: あのデッドは無理無くないしそれは鳴り止まない
事実19: その六日生まれは細まるない
事実20: あの肉塊は細まるない

仮説: その六日生まれは尊敬しない
1. 事実10と事実17から、推論1: "このグアテマラ人は来辛いがそれは細まるない"が導かれる
2. 推論1から、推論2: "ある物は来辛い一方でそれは細まるない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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