もしも「このインプラント外科は隠棲する」ということは確かであるとするとその十一例はコンパスだ
fact1: もしもこのインプラント外科は遇すないなら「この自己効力感は遇すない一方で先っぽである」ということは嘘だ fact2: 「このインプラント外科は日本らしくない」ということは確かでない fact3: 仮に「このインプラント外科は先っぽでない一方で遇す」ということは真実でないとしたらこの自己効力感はコンパスだ fact4: 仮にこのインプラント外科は遇すないならば「この自己効力感は遇すないがしかし隠棲する」ということは偽である fact5: もしこのインプラント外科は遇すないならば「この自己効力感は遇すし先っぽである」ということは成り立たない fact6: もしもこのインプラント外科が隠棲するし更に日本らしいなら遇すない fact7: もしも「この自己効力感は遇すないけれど先っぽである」ということは成り立たないならばその十一例はコンパスだ
void -> assump1: 以下のように仮定する。このインプラント外科は隠棲する; assump1 & fact2 -> int1: このインプラント外科は隠棲するし日本らしい; int1 & fact6 -> int2: このインプラント外科は遇すない; int2 & fact1 -> int3: 「この自己効力感は遇すないが先っぽである」ということは誤りである; int3 & fact7 -> int4: その十一例はコンパスである; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもこのインプラント外科は遇すないなら「この自己効力感は遇すない一方で先っぽである」ということは嘘だ fact2: 「このインプラント外科は日本らしくない」ということは確かでない fact3: 仮に「このインプラント外科は先っぽでない一方で遇す」ということは真実でないとしたらこの自己効力感はコンパスだ fact4: 仮にこのインプラント外科は遇すないならば「この自己効力感は遇すないがしかし隠棲する」ということは偽である fact5: もしこのインプラント外科は遇すないならば「この自己効力感は遇すし先っぽである」ということは成り立たない fact6: もしもこのインプラント外科が隠棲するし更に日本らしいなら遇すない fact7: もしも「この自己効力感は遇すないけれど先っぽである」ということは成り立たないならばその十一例はコンパスだ ; $hypothesis$ = もしも「このインプラント外科は隠棲する」ということは確かであるとするとその十一例はコンパスだ ; $proof$ = 
void -> assump1: 以下のように仮定する。このインプラント外科は隠棲する; assump1 & fact2 -> int1: このインプラント外科は隠棲するし日本らしい; int1 & fact6 -> int2: このインプラント外科は遇すない; int2 & fact1 -> int3: 「この自己効力感は遇すないが先っぽである」ということは誤りである; int3 & fact7 -> int4: その十一例はコンパスである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもこのインプラント外科は遇すないなら「この自己効力感は遇すない一方で先っぽである」ということは嘘だ
事実2: 「このインプラント外科は日本らしくない」ということは確かでない
事実3: 仮に「このインプラント外科は先っぽでない一方で遇す」ということは真実でないとしたらこの自己効力感はコンパスだ
事実4: 仮にこのインプラント外科は遇すないならば「この自己効力感は遇すないがしかし隠棲する」ということは偽である
事実5: もしこのインプラント外科は遇すないならば「この自己効力感は遇すし先っぽである」ということは成り立たない
事実6: もしもこのインプラント外科が隠棲するし更に日本らしいなら遇すない
事実7: もしも「この自己効力感は遇すないけれど先っぽである」ということは成り立たないならばその十一例はコンパスだ

仮説: もしも「このインプラント外科は隠棲する」ということは確かであるとするとその十一例はコンパスだ
1. 仮定1: 以下のように仮定する。このインプラント外科は隠棲する
2. 仮定1と事実2から、推論1: "このインプラント外科は隠棲するし日本らしい"が導かれる
3. 推論1と事実6から、推論2: "このインプラント外科は遇すない"が導かれる
4. 推論2と事実1から、推論3: "「この自己効力感は遇すないが先っぽである」ということは誤りである"が導かれる
5. 推論3と事実7から、推論4: "その十一例はコンパスである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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