「あの予報官は発現し易くない」ということは成り立つ
fact1: 仮に何らかのものは問答するし更に蔵書印であるとすると発現し易くない fact2: 仮にあるものが蔵書印でないならばそれは統裁するかあるいはそれは問答するということはない fact3: あのＳＣＩは協議的民主主義でないならば「あの小便小僧は凭せ掛けないしまたそれは気高くない」ということは偽である fact4: あの予報官は絞り入れない fact5: あの予報官は問答するとすると「うら若い」ということは確かである fact6: その急冷は蔵書印である fact7: そのイギリス艦が凭せ掛けるとするとそれは財産共有制である fact8: 仮にあの小便小僧が統裁しないがそれが問答するならあの予報官は発現し易い fact9: あの予報官は注力するしＶＡＬモンだ fact10: もし仮にあの予報官が統裁するか問答しないとすれば「あの真秀ろば鉄道は吸血する」ということは真実だ fact11: もし仮になにがしかの物が薄れ行かないしそれは打ち鳴らすということはないとすると「協議的民主主義でない」ということは真実である fact12: すべては蔵書印であるしそれに凭せ掛ける fact13: もしもあの予報官はジョイ・プロジェクトで悪賢いとすると蔵書印でない fact14: そのカンフーは吸血する fact15: もしも「あの予報官は石円圏でないかそれは吸血するかもしくは両方だ」ということは真実でないなら統裁する fact16: 全てのものは凭せ掛ける fact17: あの予報官は航空便であるししかもそれは綾なす fact18: もしこのベテランが尽くし難いとすればそれは発現し易い fact19: 「あの予報官は石円圏でないかあるいは吸血するかどちらもだ」ということは成り立たない fact20: あの予報官は凭せ掛ける fact21: もし仮になにがしかのものが統裁するとしたら問答する fact22: あの予報官は石円圏だ fact23: もし仮に「あの予報官は石円圏であるか吸血するかどちらもだ」ということは偽だとしたら統裁する
fact15 & fact19 -> int1: あの予報官は統裁する; fact21 -> int2: 仮にあの予報官が統裁すれば問答する; int1 & int2 -> int3: あの予報官は問答する; fact12 -> int4: あの予報官は蔵書印で更にそれは凭せ掛ける; int4 -> int5: あの予報官は蔵書印である; int3 & int5 -> int6: 「あの予報官は問答するし蔵書印だ」ということは事実である; fact1 -> int7: もしもあの予報官が問答するしさらにそれが蔵書印だとしたら発現し易くない; int6 & int7 -> hypothesis;
あの真秀ろば鉄道は吸血する
fact25 -> 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: もし仮に「あの予報官は石円圏であるか吸血するかどちらもだ」ということは偽だとしたら統裁する ; $hypothesis$ = 「あの予報官は発現し易くない」ということは成り立つ ; $proof$ = 
fact15 & fact19 -> int1: あの予報官は統裁する; fact21 -> int2: 仮にあの予報官が統裁すれば問答する; int1 & int2 -> int3: あの予報官は問答する; fact12 -> int4: あの予報官は蔵書印で更にそれは凭せ掛ける; int4 -> int5: あの予報官は蔵書印である; int3 & int5 -> int6: 「あの予報官は問答するし蔵書印だ」ということは事実である; fact1 -> int7: もしもあの予報官が問答するしさらにそれが蔵書印だとしたら発現し易くない; int6 & 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: もし仮に「あの予報官は石円圏であるか吸血するかどちらもだ」ということは偽だとしたら統裁する

仮説: 「あの予報官は発現し易くない」ということは成り立つ
1. 事実15と事実19から、推論1: "あの予報官は統裁する"が導かれる
2. 事実21から、推論2: "仮にあの予報官が統裁すれば問答する"が導かれる
3. 推論1と推論2から、推論3: "あの予報官は問答する"が導かれる
4. 事実12から、推論4: "あの予報官は蔵書印で更にそれは凭せ掛ける"が導かれる
5. 推論4から、推論5: "あの予報官は蔵書印である"が導かれる
6. 推論3と推論5から、推論6: "「あの予報官は問答するし蔵書印だ」ということは事実である"が導かれる
7. 事実1から、推論7: "もしもあの予報官が問答するしさらにそれが蔵書印だとしたら発現し易くない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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