「この頸部伸筋群は利き難くない」ということは成り立つ
fact1: 観察し易いということはない物は出身地であるしまた百二十八メガバイト以上だ fact2: 「あの人事・労務は八ミリカメラである」ということは確かである fact3: もし仮にあの人事・労務が百二十八メガバイト以上でないならこの頸部伸筋群は出身地であるし更にそれは八ミリカメラである fact4: もしもあの人事・労務が長浜層ならばこの白熱は長浜層だ fact5: もしその利用量が概説ならばその民間所有は利き難い fact6: 観察し易い物は概説でないかまたは打ち立てないか両方だ fact7: 仮になにがしかの物が八ミリカメラだとするとそれは利き難い fact8: この日常は出身地であるし大人っぽい fact9: もしその小間使いが解き解す一方で観察し易くないとするとこの白熱は観察し易くない fact10: もしなにかは出身地であるとすると御安い fact11: 仮にその民間所有は荒いとしたら「あの人事・労務は観察し易い」ということは確かだ fact12: あの人事・労務は出身地だ fact13: もし仮にあるものが荒くないなら概説だし打ち立てる fact14: もしあの人事・労務が八ミリカメラだしそれは出身地だとしたら「この頸部伸筋群は利き難くない」ということは確かだ fact15: あの業務管理は出身地でない fact16: もしも「この頸部伸筋群は長浜層でないかあるいはそれは八ミリカメラであるかまたは両方である」ということは成り立たないならあの人事・労務は長浜層である fact17: もしも何かは攻め上るとすると解き解すけれど観察し易いということはない fact18: その利用量は荒くない fact19: あの大江山は発症し易い fact20: 「あの人事・労務は考え深い」ということは本当である fact21: もしもあの大江山が発症し易いとしたらその小間使いは攻め上る fact22: あの人事・労務は帰隊するししかも論述する fact23: もし仮に「利き難い」ものはあるとしたら「この頸部伸筋群は長浜層でないかもしくはそれは八ミリカメラだ」ということは事実と異なる
fact2 & fact12 -> int1: あの人事・労務は八ミリカメラであるしおまけにそれは出身地だ; int1 & fact14 -> hypothesis;
この白熱は長浜層であるし御安い
fact35 -> int2: 仮にその利用量が荒くないならば概説だしかつ打ち立てる; int2 & fact27 -> int3: その利用量は概説だしかつ打ち立てる; int3 -> int4: その利用量は概説である; fact29 & int4 -> int5: その民間所有は利き難い; int5 -> int6: 「利き難い」ものはある; int6 & fact25 -> int7: 「この頸部伸筋群は長浜層でないかまたは八ミリカメラだ」ということは間違っている; fact31 & int7 -> int8: あの人事・労務は長浜層である; fact34 & int8 -> int9: この白熱は長浜層である; fact32 -> int10: 「この白熱は出身地でない」ということは確かであるということはないならそれは御安い; fact30 -> int11: 仮にこの白熱が観察し易くないならそれは出身地であるしかつ百二十八メガバイト以上である; fact26 -> int12: 仮にその小間使いが攻め上るとしたらそれは解き解すししかも観察し易くない; fact33 & fact28 -> int13: その小間使いは攻め上る; int12 & int13 -> int14: その小間使いは解き解すがそれは観察し易くない; fact24 & int14 -> int15: この白熱は観察し易くない; int11 & int15 -> int16: この白熱は出身地だし加えて百二十八メガバイト以上だ; int16 -> int17: この白熱は出身地だ; int10 & int17 -> int18: この白熱は御安い; int9 & int18 -> hypothesis;
$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$ = 
fact2 & fact12 -> int1: あの人事・労務は八ミリカメラであるしおまけにそれは出身地だ; int1 & fact14 -> 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. 事実2と事実12から、推論1: "あの人事・労務は八ミリカメラであるしおまけにそれは出身地だ"が導かれる
2. 推論1と事実14から、仮説が導かれる

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