あの一歩外は厳めしかない
fact1: もし仮に「この健康食は掴み難くない」ということは正しいとすれば「あの病名告知は先行パーティでないかもしくはそれは御寒いかあるいはどちらもである」ということは事実と異なる fact2: 「先行パーティである」ものはある fact3: もしも「「先行パーティでないか御寒いかあるいは両方ともだ」ということは成り立たない」物があるならあの一歩外は厳めしかない fact4: この健康食は掴み難いということはない fact5: ある物は厳めしかないなら「掴み難くないかもしくはそれはしつこいか両方ともだ」ということは事実でない
fact1 & fact4 -> int1: 「あの病名告知は先行パーティであるということはないかあるいは御寒いかどちらもである」ということは成り立たない; int1 -> int2: 「「先行パーティでないかまたは御寒いかまたはどちらもである」ということは偽である」ものはある; int2 & fact3 -> hypothesis;
「その変動性は掴み難くないかしつこいかもしくはどちらもだ」ということは事実でない
fact6 -> int3: もしその変動性は厳めしかないならば「それは掴み難くないかそれはしつこいかあるいはどちらもだ」ということは正しくない;
$facts$ = fact1: もし仮に「この健康食は掴み難くない」ということは正しいとすれば「あの病名告知は先行パーティでないかもしくはそれは御寒いかあるいはどちらもである」ということは事実と異なる fact2: 「先行パーティである」ものはある fact3: もしも「「先行パーティでないか御寒いかあるいは両方ともだ」ということは成り立たない」物があるならあの一歩外は厳めしかない fact4: この健康食は掴み難いということはない fact5: ある物は厳めしかないなら「掴み難くないかもしくはそれはしつこいか両方ともだ」ということは事実でない ; $hypothesis$ = あの一歩外は厳めしかない ; $proof$ = 
fact1 & fact4 -> int1: 「あの病名告知は先行パーティであるということはないかあるいは御寒いかどちらもである」ということは成り立たない; int1 -> int2: 「「先行パーティでないかまたは御寒いかまたはどちらもである」ということは偽である」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「この健康食は掴み難くない」ということは正しいとすれば「あの病名告知は先行パーティでないかもしくはそれは御寒いかあるいはどちらもである」ということは事実と異なる
事実2: 「先行パーティである」ものはある
事実3: もしも「「先行パーティでないか御寒いかあるいは両方ともだ」ということは成り立たない」物があるならあの一歩外は厳めしかない
事実4: この健康食は掴み難いということはない
事実5: ある物は厳めしかないなら「掴み難くないかもしくはそれはしつこいか両方ともだ」ということは事実でない

仮説: あの一歩外は厳めしかない
1. 事実1と事実4から、推論1: "「あの病名告知は先行パーティであるということはないかあるいは御寒いかどちらもである」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「先行パーティでないかまたは御寒いかまたはどちらもである」ということは偽である」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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