この祝賀会は狙われ易くない
fact1: この祝賀会は骨っぽくないかもしくは極まり悪いかまたは両方であるとしたら「それは線質だということはない」ということは成り立つ fact2: もし何らかの物が線質でないとすればグリル満天星である fact3: 狙われ易いものは侵入し易い fact4: この祝賀会は侵入し易い fact5: もし仮にこの祝賀会が線質でないとすればグリル満天星だ fact6: この祝賀会はグリル満天星だ fact7: 狙われ易い物は成立し難くないが侵入し易い fact8: もしこの祝賀会が狙われ易いとしたらそれは侵入し易い fact9: この祝賀会が極まり悪いならそれは線質でない fact10: この祝賀会は骨っぽくないかまたは極まり悪いかまたはどちらもだ fact11: なにがしかの物が線質でないとするとそれは成立し難いし加えてそれはグリル満天星である
fact7 -> int1: もし仮にこの祝賀会が狙われ易いとするとそれは成立し難くない一方で侵入し易い; void -> assump1: 以下のように仮定する。この祝賀会は狙われ易い; int1 & assump1 -> int2: この祝賀会は成立し難くないけどそれは侵入し易い; int2 -> int3: この祝賀会は成立し難くない; fact10 & fact1 -> int4: この祝賀会は線質でない; fact11 -> int5: 仮にこの祝賀会が線質でないとしたら成立し難くておまけにグリル満天星である; int4 & int5 -> int6: この祝賀会は成立し難いしグリル満天星だ; int6 -> int7: この祝賀会は成立し難い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: この祝賀会は骨っぽくないかもしくは極まり悪いかまたは両方であるとしたら「それは線質だということはない」ということは成り立つ fact2: もし何らかの物が線質でないとすればグリル満天星である fact3: 狙われ易いものは侵入し易い fact4: この祝賀会は侵入し易い fact5: もし仮にこの祝賀会が線質でないとすればグリル満天星だ fact6: この祝賀会はグリル満天星だ fact7: 狙われ易い物は成立し難くないが侵入し易い fact8: もしこの祝賀会が狙われ易いとしたらそれは侵入し易い fact9: この祝賀会が極まり悪いならそれは線質でない fact10: この祝賀会は骨っぽくないかまたは極まり悪いかまたはどちらもだ fact11: なにがしかの物が線質でないとするとそれは成立し難いし加えてそれはグリル満天星である ; $hypothesis$ = この祝賀会は狙われ易くない ; $proof$ = 
fact7 -> int1: もし仮にこの祝賀会が狙われ易いとするとそれは成立し難くない一方で侵入し易い; void -> assump1: 以下のように仮定する。この祝賀会は狙われ易い; int1 & assump1 -> int2: この祝賀会は成立し難くないけどそれは侵入し易い; int2 -> int3: この祝賀会は成立し難くない; fact10 & fact1 -> int4: この祝賀会は線質でない; fact11 -> int5: 仮にこの祝賀会が線質でないとしたら成立し難くておまけにグリル満天星である; int4 & int5 -> int6: この祝賀会は成立し難いしグリル満天星だ; int6 -> int7: この祝賀会は成立し難い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: この祝賀会は骨っぽくないかもしくは極まり悪いかまたは両方であるとしたら「それは線質だということはない」ということは成り立つ
事実2: もし何らかの物が線質でないとすればグリル満天星である
事実3: 狙われ易いものは侵入し易い
事実4: この祝賀会は侵入し易い
事実5: もし仮にこの祝賀会が線質でないとすればグリル満天星だ
事実6: この祝賀会はグリル満天星だ
事実7: 狙われ易い物は成立し難くないが侵入し易い
事実8: もしこの祝賀会が狙われ易いとしたらそれは侵入し易い
事実9: この祝賀会が極まり悪いならそれは線質でない
事実10: この祝賀会は骨っぽくないかまたは極まり悪いかまたはどちらもだ
事実11: なにがしかの物が線質でないとするとそれは成立し難いし加えてそれはグリル満天星である

仮説: この祝賀会は狙われ易くない
1. 事実7から、推論1: "もし仮にこの祝賀会が狙われ易いとするとそれは成立し難くない一方で侵入し易い"が導かれる
2. 仮定1: 以下のように仮定する。この祝賀会は狙われ易い
3. 推論1と仮定1から、推論2: "この祝賀会は成立し難くないけどそれは侵入し易い"が導かれる
4. 推論2から、推論3: "この祝賀会は成立し難くない"が導かれる
5. 事実10と事実1から、推論4: "この祝賀会は線質でない"が導かれる
6. 事実11から、推論5: "仮にこの祝賀会が線質でないとしたら成立し難くておまけにグリル満天星である"が導かれる
7. 推論4と推論5から、推論6: "この祝賀会は成立し難いしグリル満天星だ"が導かれる
8. 推論6から、推論7: "この祝賀会は成立し難い"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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