あの佐賀県出身はつべたい
fact1: 仮に「なにがしかの物は作り難い一方で業界紙でない」ということは嘘であるとしたら訳せるということはない fact2: 何らかのものが訳せらないとすればそれが当て付けはましくらなくてかつそれは活用し易いということはない fact3: 当て付けがましくらない物は活用し易くないとするとそれは吠えるということはない fact4: もし仮にそのピンポイントが接し得ないとすると居座るしかつ業界紙である fact5: 仮に「なんらかのものは訳せるということはないし作り難くない」ということは間違いであるならばそれはつべたい fact6: もし仮にそのバックパッカーは活用し易いということはないとすると「あの佐賀県出身は訳せらなくてそれは作り難くない」ということは成り立たない fact7: 「あのマイホームは因り難いかもしくはそれは妄説でないかもしくは両方ともだ」ということは成り立たないとすると漏れ無い fact8: もしあのマイホームが因り難いとすればあのバックパッカーは活用し易くない fact9: 「「居座るか業界紙である」ということは成り立たない」物があるならばあのピンポイントは吠える fact10: もしあのマイホームは漏れ無くないけどつべたいならあの佐賀県出身はつべたくない fact11: 仮にあのマイホームが妄説でないとするとそのバックパッカーは活用し易くない fact12: 仮にあのマイホームが漏れ無いとするとその同系色は漏れ無くないか当て付けがましいかもしくは両方ともだ fact13: 「もしもその同系色が漏れ無くないかまたはそれが当て付けがましいかまたは両方であるならばあのピンポイントは吠えるということはない」ということは本当だ fact14: 「その満州族は居座るかあるいは業界紙であるかあるいは両方ともである」ということは誤りである fact15: もし仮にその同系色が吠えないとしたらあのマイホームは漏れ無くない一方でつべたい fact16: 「接し得ない」ものはある fact17: もし仮にそのバックパッカーが接し得ないならばそのピンポイントは接し得ない fact18: もしも「接し得るということはない」物があるとするとそのバックパッカーは接し得ないかまたはそれは餓鬼っぽくないかもしくはどちらもである
void -> assump1: 以下のように仮定する。「あのマイホームは因り難いかまたは妄説でない」ということは間違いだ; fact7 & assump1 -> int1: あのマイホームは漏れ無い; int1 & fact12 -> int2: その同系色は漏れ無くないか当て付けがましいかもしくは両方だ; int2 & fact13 -> int3: 「そのピンポイントは吠えない」ということは真実である; fact14 -> int4: 「「居座るかあるいは業界紙であるかまたは両方だ」ということは間違いである」ものはある; int4 & fact9 -> int5: そのピンポイントは吠える; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのマイホームは因り難いかあるいは妄説でないかもしくはどちらもである; int7 & fact8 & fact11 -> int8: そのバックパッカーは活用し易くない; int8 & fact6 -> int9: 「あの佐賀県出身は訳せらなくて作り難くない」ということは事実と異なる; fact5 -> int10: 仮に「あの佐賀県出身は訳せるということはないししかも作り難くない」ということは嘘ならばつべたい; int9 & int10 -> hypothesis;
あの佐賀県出身はつべたくない
fact21 -> int11: もし仮にその同系色が当て付けはましくらないしさらに活用し易くないとすれば吠えない; fact25 -> int12: 「仮にその同系色が訳せらないとしたらその同系色は当て付けがましいということはないし更に活用し易いということはない」ということは成り立つ; fact24 -> int13: 仮に「その同系色は作り難いけど業界紙でない」ということは間違っていれば訳せらない; fact22 & fact26 -> int14: そのバックパッカーは接し得ないかあるいはそれは餓鬼っぽくないかもしくは両方だ;
$facts$ = fact1: 仮に「なにがしかの物は作り難い一方で業界紙でない」ということは嘘であるとしたら訳せるということはない fact2: 何らかのものが訳せらないとすればそれが当て付けはましくらなくてかつそれは活用し易いということはない fact3: 当て付けがましくらない物は活用し易くないとするとそれは吠えるということはない fact4: もし仮にそのピンポイントが接し得ないとすると居座るしかつ業界紙である fact5: 仮に「なんらかのものは訳せるということはないし作り難くない」ということは間違いであるならばそれはつべたい fact6: もし仮にそのバックパッカーは活用し易いということはないとすると「あの佐賀県出身は訳せらなくてそれは作り難くない」ということは成り立たない fact7: 「あのマイホームは因り難いかもしくはそれは妄説でないかもしくは両方ともだ」ということは成り立たないとすると漏れ無い fact8: もしあのマイホームが因り難いとすればあのバックパッカーは活用し易くない fact9: 「「居座るか業界紙である」ということは成り立たない」物があるならばあのピンポイントは吠える fact10: もしあのマイホームは漏れ無くないけどつべたいならあの佐賀県出身はつべたくない fact11: 仮にあのマイホームが妄説でないとするとそのバックパッカーは活用し易くない fact12: 仮にあのマイホームが漏れ無いとするとその同系色は漏れ無くないか当て付けがましいかもしくは両方ともだ fact13: 「もしもその同系色が漏れ無くないかまたはそれが当て付けがましいかまたは両方であるならばあのピンポイントは吠えるということはない」ということは本当だ fact14: 「その満州族は居座るかあるいは業界紙であるかあるいは両方ともである」ということは誤りである fact15: もし仮にその同系色が吠えないとしたらあのマイホームは漏れ無くない一方でつべたい fact16: 「接し得ない」ものはある fact17: もし仮にそのバックパッカーが接し得ないならばそのピンポイントは接し得ない fact18: もしも「接し得るということはない」物があるとするとそのバックパッカーは接し得ないかまたはそれは餓鬼っぽくないかもしくはどちらもである ; $hypothesis$ = あの佐賀県出身はつべたい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのマイホームは因り難いかまたは妄説でない」ということは間違いだ; fact7 & assump1 -> int1: あのマイホームは漏れ無い; int1 & fact12 -> int2: その同系色は漏れ無くないか当て付けがましいかもしくは両方だ; int2 & fact13 -> int3: 「そのピンポイントは吠えない」ということは真実である; fact14 -> int4: 「「居座るかあるいは業界紙であるかまたは両方だ」ということは間違いである」ものはある; int4 & fact9 -> int5: そのピンポイントは吠える; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのマイホームは因り難いかあるいは妄説でないかもしくはどちらもである; int7 & fact8 & fact11 -> int8: そのバックパッカーは活用し易くない; int8 & fact6 -> int9: 「あの佐賀県出身は訳せらなくて作り難くない」ということは事実と異なる; fact5 -> int10: 仮に「あの佐賀県出身は訳せるということはないししかも作り難くない」ということは嘘ならばつべたい; int9 & int10 -> hypothesis; __PROVED__
事実1: 仮に「なにがしかの物は作り難い一方で業界紙でない」ということは嘘であるとしたら訳せるということはない
事実2: 何らかのものが訳せらないとすればそれが当て付けはましくらなくてかつそれは活用し易いということはない
事実3: 当て付けがましくらない物は活用し易くないとするとそれは吠えるということはない
事実4: もし仮にそのピンポイントが接し得ないとすると居座るしかつ業界紙である
事実5: 仮に「なんらかのものは訳せるということはないし作り難くない」ということは間違いであるならばそれはつべたい
事実6: もし仮にそのバックパッカーは活用し易いということはないとすると「あの佐賀県出身は訳せらなくてそれは作り難くない」ということは成り立たない
事実7: 「あのマイホームは因り難いかもしくはそれは妄説でないかもしくは両方ともだ」ということは成り立たないとすると漏れ無い
事実8: もしあのマイホームが因り難いとすればあのバックパッカーは活用し易くない
事実9: 「「居座るか業界紙である」ということは成り立たない」物があるならばあのピンポイントは吠える
事実10: もしあのマイホームは漏れ無くないけどつべたいならあの佐賀県出身はつべたくない
事実11: 仮にあのマイホームが妄説でないとするとそのバックパッカーは活用し易くない
事実12: 仮にあのマイホームが漏れ無いとするとその同系色は漏れ無くないか当て付けがましいかもしくは両方ともだ
事実13: 「もしもその同系色が漏れ無くないかまたはそれが当て付けがましいかまたは両方であるならばあのピンポイントは吠えるということはない」ということは本当だ
事実14: 「その満州族は居座るかあるいは業界紙であるかあるいは両方ともである」ということは誤りである
事実15: もし仮にその同系色が吠えないとしたらあのマイホームは漏れ無くない一方でつべたい
事実16: 「接し得ない」ものはある
事実17: もし仮にそのバックパッカーが接し得ないならばそのピンポイントは接し得ない
事実18: もしも「接し得るということはない」物があるとするとそのバックパッカーは接し得ないかまたはそれは餓鬼っぽくないかもしくはどちらもである

仮説: あの佐賀県出身はつべたい
1. 仮定1: 以下のように仮定する。「あのマイホームは因り難いかまたは妄説でない」ということは間違いだ
2. 事実7と仮定1から、推論1: "あのマイホームは漏れ無い"が導かれる
3. 推論1と事実12から、推論2: "その同系色は漏れ無くないか当て付けがましいかもしくは両方だ"が導かれる
4. 推論2と事実13から、推論3: "「そのピンポイントは吠えない」ということは真実である"が導かれる
5. 事実14から、推論4: "「「居座るかあるいは業界紙であるかまたは両方だ」ということは間違いである」ものはある"が導かれる
6. 推論4と事実9から、推論5: "そのピンポイントは吠える"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのマイホームは因り難いかあるいは妄説でないかもしくはどちらもである"が導かれる
9. 推論7と事実8と事実11から、推論8: "そのバックパッカーは活用し易くない"が導かれる
10. 推論8と事実6から、推論9: "「あの佐賀県出身は訳せらなくて作り難くない」ということは事実と異なる"が導かれる
11. 事実5から、推論10: "仮に「あの佐賀県出身は訳せるということはないししかも作り難くない」ということは嘘ならばつべたい"が導かれる
12. 推論9と推論10から、仮説が導かれる

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