その左京君は初婚でないしそれは各艦艇でない
fact1: あの動は使用し易い fact2: その一大キャンペーンは各艦艇でないかあるいは短気待ちでないか両方だ fact3: その一大キャンペーンが各艦艇であるとするとその左京君は各艦艇でないしさらに使用し易くない fact4: もし仮にその一大キャンペーンは短気待ちでないとするとそれは初婚である fact5: そのＸＸ男性は易度でないしその上短気待ちでない fact6: 何かは際限無くないならば「それは初婚でないし各艦艇であるということはない」ということは嘘だ fact7: その一大キャンペーンは使用し易くないかもしくは短気待ちであるかまたは両方ともだ fact8: あの動は際限無い fact9: その一大キャンペーンが怠くらないとしたらあの動は着任しなくてそれは飲み易いということはない fact10: もしもあの動はおどろおどろしいなら「それは際限無い一方で向け過ぎない」ということは成り立つということはない fact11: もしもなにがしかのものが使用し易くないかもしくはそれが短気待ちでないとすれば初婚だ fact12: その左京君は初婚だということはない fact13: もし仮にあの動が際限無くないかもしくは初婚でないなら「使用し易い」ということは真実である fact14: このファイル転送は青黒くない一方で寝 fact15: 仮にとあるものが陶冶しないとするとおどろおどろしい fact16: 「その左京君は際限無い」ということは正しい fact17: もし仮になにがしかのものは短気待ちでないとすると初婚である fact18: 仮にその一大キャンペーンが初婚だとすればその左京君は初婚であるということはない fact19: もし仮にあの動が際限無いとすればあの一大キャンペーンは使用し易いということはないかそれは短気待ちである fact20: あるものは着任しなくてかつ飲み易くないとしたら「それは陶冶するということはない」ということは確かだ fact21: そのボルゾイは納得し難くないしその上信じ易くない fact22: あの常傭域は際限無い fact23: もし仮にあの動が際限無いならばその一大キャンペーンは使用し易くないかまたはそれは短気待ちでないかもしくは両方だ fact24: もし仮にその一大キャンペーンが初婚ならその左京君は初婚であるということはなくて各艦艇でない
fact23 & fact8 -> int1: その一大キャンペーンは使用し易いということはないかもしくは短気待ちでないか両方だ; fact11 -> int2: もしもその一大キャンペーンが使用し易くないかまたは短気待ちでないかまたは両方ともであるとしたらそれは初婚である; int1 & int2 -> int3: 「その一大キャンペーンは初婚である」ということは事実である; int3 & fact24 -> hypothesis;
「その左京君は初婚であるということはなくてそれにそれは各艦艇でない」ということは事実と異なる
fact26 -> int4: もしもその左京君は際限無くないとすると「それは初婚でないしかつ各艦艇だということはない」ということは成り立つということはない; fact29 -> int5: あの動が陶冶しないならばおどろおどろしい; fact25 -> int6: もしあの動は着任するということはないしかつ飲み易くないならばそれは陶冶しない; fact27 -> int7: 「「青黒くないが寝」ものはある」ということは本当だ;
$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: もし仮にその一大キャンペーンが初婚ならその左京君は初婚であるということはなくて各艦艇でない ; $hypothesis$ = その左京君は初婚でないしそれは各艦艇でない ; $proof$ = 
fact23 & fact8 -> int1: その一大キャンペーンは使用し易いということはないかもしくは短気待ちでないか両方だ; fact11 -> int2: もしもその一大キャンペーンが使用し易くないかまたは短気待ちでないかまたは両方ともであるとしたらそれは初婚である; int1 & int2 -> int3: 「その一大キャンペーンは初婚である」ということは事実である; int3 & fact24 -> 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: もし仮にその一大キャンペーンが初婚ならその左京君は初婚であるということはなくて各艦艇でない

仮説: その左京君は初婚でないしそれは各艦艇でない
1. 事実23と事実8から、推論1: "その一大キャンペーンは使用し易いということはないかもしくは短気待ちでないか両方だ"が導かれる
2. 事実11から、推論2: "もしもその一大キャンペーンが使用し易くないかまたは短気待ちでないかまたは両方ともであるとしたらそれは初婚である"が導かれる
3. 推論1と推論2から、推論3: "「その一大キャンペーンは初婚である」ということは事実である"が導かれる
4. 推論3と事実24から、仮説が導かれる

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