その専門職養成はＫＯであるしまたドライブウェイである
fact1: もしもあのローン返済はコンパクトフラッシュでないとしたら「その専門職養成はＫＯだししかもドライブウェイだ」ということは嘘である fact2: もし仮にあの覗き穴が説き続けるとするとその双子座は胸部単純Ｘ線写真でないしさらに心憎くない fact3: もし「なんらかの物は無線通信士でないし更にそれは浮遊しない」ということは成り立たないとしたら時化ない fact4: もしもこの輸送速度が久しならばあの覗き穴は手厚くないか説き続けるかまたは両方ともである fact5: この輸送速度は久ししさらに再会する fact6: もし仮に「なにがしかのものはＫＯだけれどそれは浮遊しない」ということは事実と異なれば「それは救い給う」ということは正しい fact7: 「その何者はコンパクトフラッシュだということはない」ということは間違いだ fact8: 「「あるものは心憎い」ということは正しいとすれば「それは受け為さらなくてかつぎくしゃくしない」ということは誤りである」ということは本当である fact9: その専門職養成はドライブウェイだ fact10: 仮にあのローン返済は救い給わないとすると「その専門職養成は時化ないがしかし浮遊する」ということは成り立たない fact11: もしもあのローン返済はドライブウェイであるということはないとすると「「この酸素分圧はＫＯである一方で浮遊するということはない」ということは成り立たない」ということは事実だ fact12: 仮に「とある物は受け為さらないしぎくしゃくしない」ということは事実であるということはないとすればそれは支え続けない fact13: あのローン返済はコンパクトフラッシュなら「救い給う」ということは嘘だ fact14: もしも何かは支え続けないとすると「このフォトは無線通信士でないしかつ浮遊するということはない」ということは偽である fact15: もし仮に何かは手厚くないかもしくはそれは説き続けるかもしくはどちらもであるならそれは説き続ける fact16: 仮にその専門職養成は救い給わないとすれば「あのローン返済は浮遊しないがしかしＫＯだ」ということは成り立たない fact17: 「あのローン返済は時化ないけれどそれは救い給う」ということは成り立たない fact18: 「もし仮に「何かは時化ないけれど浮遊する」ということは成り立つということはないなら「ＫＯだ」ということは間違っていない」ということは正しい fact19: その専門職養成は支え続けるし結び合う fact20: あのローン返済はコンパクトフラッシュである fact21: もしなんらかの物が時化るということはないならばそれはコンパクトフラッシュでないかあるいはそれは救い給わないかもしくは両方である fact22: 「その専門職養成は救い給う」ということは本当だ fact23: その双子座が胸部単純Ｘ線写真であるということはないしさらにそれが心憎くないならあのライブラリー化は心憎い
fact13 & fact20 -> int1: あのローン返済は救い給わない; int1 & fact10 -> int2: 「その専門職養成は時化ないがそれは浮遊する」ということは成り立たない; fact18 -> int3: 「その専門職養成は時化ないが浮遊する」ということは間違いだとすればそれはＫＯだ; int2 & int3 -> int4: その専門職養成はＫＯだ; int4 & fact9 -> hypothesis;
「その専門職養成はＫＯでしかもドライブウェイだ」ということは間違いである
fact33 -> int5: 仮にこのフォトが時化ないならばコンパクトフラッシュでないかもしくはそれは救い給わないかまたは両方ともだ; fact34 -> int6: 仮に「このフォトは無線通信士でなくておまけに浮遊しない」ということは間違いだとすると時化ない; fact25 -> int7: もし「あのライブラリー化は受け為さるということはなくて更にぎくしゃくしない」ということは間違っているとしたら支え続けない; fact31 -> int8: 仮にあのライブラリー化は心憎いとすると「受け為さらないしおまけにぎくしゃくしない」ということは成り立たない; fact30 -> int9: もしもあの覗き穴が手厚くないかまたはそれが説き続けるとしたら説き続ける; fact24 -> int10: この輸送速度は久し; fact29 & int10 -> int11: あの覗き穴は手厚くないか説き続けるか両方ともである; int9 & int11 -> int12: あの覗き穴は説き続ける; fact28 & int12 -> int13: その双子座は胸部単純Ｘ線写真だということはないし心憎くない; fact27 & int13 -> int14: あのライブラリー化は心憎い; int8 & int14 -> int15: 「あのライブラリー化は受け為さらなくてぎくしゃくしない」ということは成り立たない; int7 & int15 -> int16: あのライブラリー化は支え続けない; int16 -> int17: なにかは支え続けない; int17 & fact32 -> int18: 「このフォトは無線通信士でなくてそれに浮遊しない」ということは成り立たない; int6 & int18 -> int19: このフォトは時化ない; int5 & int19 -> int20: このフォトはコンパクトフラッシュでないかもしくは救い給わないかもしくは両方ともだ; int20 -> int21: 「コンパクトフラッシュでないかもしくは救い給わない」物はある;
$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$ = 
fact13 & fact20 -> int1: あのローン返済は救い給わない; int1 & fact10 -> int2: 「その専門職養成は時化ないがそれは浮遊する」ということは成り立たない; fact18 -> int3: 「その専門職養成は時化ないが浮遊する」ということは間違いだとすればそれはＫＯだ; int2 & int3 -> int4: その専門職養成はＫＯだ; int4 & fact9 -> 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. 事実13と事実20から、推論1: "あのローン返済は救い給わない"が導かれる
2. 推論1と事実10から、推論2: "「その専門職養成は時化ないがそれは浮遊する」ということは成り立たない"が導かれる
3. 事実18から、推論3: "「その専門職養成は時化ないが浮遊する」ということは間違いだとすればそれはＫＯだ"が導かれる
4. 推論2と推論3から、推論4: "その専門職養成はＫＯだ"が導かれる
5. 推論4と事実9から、仮説が導かれる

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