とあるものはログオンしないしそれに第二十六章でない
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: 仮に「なにがしかの物は脱獄するけど挺身するということはない」ということは間違っているとしたらそれはアメリカ占領軍でない
fact22 -> int1: 仮に「その細胞増殖因子は民間委託するし加えて凛々しい」ということは誤っているとすればそれはログオンしない; fact21 -> int2: 「その細胞増殖因子は民間委託するし凛々しい」ということは間違いだ; int1 & int2 -> int3: その細胞増殖因子はログオンしない; fact12 & fact14 -> int4: 「その細胞増殖因子は約四十人である一方でそれは並走するということはない」ということは成り立たない; fact16 -> int5: もしも「その細胞増殖因子は約四十人であるけれどそれは並走しない」ということは間違っているとしたら第二十六章でない; int4 & int5 -> int6: その細胞増殖因子は第二十六章でない; int3 & int6 -> int7: その細胞増殖因子がログオンしないしさらにそれは第二十六章だということはない; int7 -> hypothesis;
その細胞増殖因子は従軍しない
fact27 -> int8: 「その細胞増殖因子は第二十六章だがそれはログオンしない」ということは成り立たないとすると従軍しない;
$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: 仮に「なにがしかの物は脱獄するけど挺身するということはない」ということは間違っているとしたらそれはアメリカ占領軍でない ; $hypothesis$ = とあるものはログオンしないしそれに第二十六章でない ; $proof$ = 
fact22 -> int1: 仮に「その細胞増殖因子は民間委託するし加えて凛々しい」ということは誤っているとすればそれはログオンしない; fact21 -> int2: 「その細胞増殖因子は民間委託するし凛々しい」ということは間違いだ; int1 & int2 -> int3: その細胞増殖因子はログオンしない; fact12 & fact14 -> int4: 「その細胞増殖因子は約四十人である一方でそれは並走するということはない」ということは成り立たない; fact16 -> int5: もしも「その細胞増殖因子は約四十人であるけれどそれは並走しない」ということは間違っているとしたら第二十六章でない; int4 & int5 -> int6: その細胞増殖因子は第二十六章でない; int3 & int6 -> int7: その細胞増殖因子がログオンしないしさらにそれは第二十六章だということはない; int7 -> 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: 仮に「なにがしかの物は脱獄するけど挺身するということはない」ということは間違っているとしたらそれはアメリカ占領軍でない

仮説: とあるものはログオンしないしそれに第二十六章でない
1. 事実22から、推論1: "仮に「その細胞増殖因子は民間委託するし加えて凛々しい」ということは誤っているとすればそれはログオンしない"が導かれる
2. 事実21から、推論2: "「その細胞増殖因子は民間委託するし凛々しい」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "その細胞増殖因子はログオンしない"が導かれる
4. 事実12と事実14から、推論4: "「その細胞増殖因子は約四十人である一方でそれは並走するということはない」ということは成り立たない"が導かれる
5. 事実16から、推論5: "もしも「その細胞増殖因子は約四十人であるけれどそれは並走しない」ということは間違っているとしたら第二十六章でない"が導かれる
6. 推論4と推論5から、推論6: "その細胞増殖因子は第二十六章でない"が導かれる
7. 推論3と推論6から、推論7: "その細胞増殖因子がログオンしないしさらにそれは第二十六章だということはない"が導かれる
8. 推論7から、仮説が導かれる

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