「あのサイレンサーはＰＶであるか把握し辛くないかどちらもである」ということは本当だということはない
fact1: もしその形勢がＰＶでないとするとあのサイレンサーは穴埋めしない fact2: 「もし仮にあのサイレンサーがＰＶであるとすればあの形勢は穴埋めしない」ということは確かだ fact3: あのサイレンサーは把握し辛いかそれは穴埋めするということはないかあるいは両方ともである fact4: 何らかの物は出席出来ないとしたら「乳腺手術だし頼み難い」ということは成り立つということはない fact5: その形勢が乳腺手術であるならばあの回収可能価額は頼み難い fact6: あのサイレンサーがＰＶだとすればその形勢は穴埋めする fact7: 仮にあるものが穴埋めしないならそれは把握し辛くない fact8: 「もし「この特別教室はバンド幅である」ということは真実でないとすればこの特別教室は出席出来ない」ということは嘘でない fact9: 「あのプラセンタは把握し辛いということはない」ということは成り立たない fact10: もしその脳天がＰＶならばこの長電話は把握し辛くない fact11: あのサイレンサーはＰＶであるかまたは一件落着しない fact12: あのサイレンサーは満州国建国であるかＰＶでない fact13: 「もし仮に「あのサイレンサーは把握し辛くない」ということは成り立つとするとその形勢は穴埋めしない」ということは正しい fact14: その形勢は穴埋めする fact15: その形勢はＰＶであるかあるいは穴埋めしないかもしくは両方ともである fact16: もし仮に「なにがしかのものは乳腺手術であるし頼み難い」ということは成り立たないとしたら穴埋めするということはない fact17: もしあのサイレンサーがＰＶならその形勢は把握し辛い fact18: 仮にその形勢が把握し辛くないならあのサイレンサーは穴埋めしない fact19: 仮にあのサイレンサーが穴埋めするならばあの形勢は把握し辛い fact20: なにがしかのものは把握し辛くないならば「ＰＶであるかもしくは褒賞しないかもしくは両方ともである」ということは成り立つということはない fact21: あのサイレンサーは握り込まない fact22: もしあのサイレンサーが穴埋めすればその形勢はＰＶである
void -> assump1: 以下のように仮定する。あのサイレンサーはＰＶであるかまたは把握し辛くない; assump1 & fact2 & fact13 -> int1: その形勢は穴埋めしない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({A}{a} v ¬{B}{a}); assump1 & fact2 & fact13 -> int1: ¬{C}{c}; int1 & fact14 -> int2: #F#; [assump1] & int2 -> hypothesis;
あのサイレンサーはＰＶであるかそれは把握し辛くないかあるいはどちらもだ
$facts$ = fact1: もしその形勢がＰＶでないとするとあのサイレンサーは穴埋めしない fact2: 「もし仮にあのサイレンサーがＰＶであるとすればあの形勢は穴埋めしない」ということは確かだ fact3: あのサイレンサーは把握し辛いかそれは穴埋めするということはないかあるいは両方ともである fact4: 何らかの物は出席出来ないとしたら「乳腺手術だし頼み難い」ということは成り立つということはない fact5: その形勢が乳腺手術であるならばあの回収可能価額は頼み難い fact6: あのサイレンサーがＰＶだとすればその形勢は穴埋めする fact7: 仮にあるものが穴埋めしないならそれは把握し辛くない fact8: 「もし「この特別教室はバンド幅である」ということは真実でないとすればこの特別教室は出席出来ない」ということは嘘でない fact9: 「あのプラセンタは把握し辛いということはない」ということは成り立たない fact10: もしその脳天がＰＶならばこの長電話は把握し辛くない fact11: あのサイレンサーはＰＶであるかまたは一件落着しない fact12: あのサイレンサーは満州国建国であるかＰＶでない fact13: 「もし仮に「あのサイレンサーは把握し辛くない」ということは成り立つとするとその形勢は穴埋めしない」ということは正しい fact14: その形勢は穴埋めする fact15: その形勢はＰＶであるかあるいは穴埋めしないかもしくは両方ともである fact16: もし仮に「なにがしかのものは乳腺手術であるし頼み難い」ということは成り立たないとしたら穴埋めするということはない fact17: もしあのサイレンサーがＰＶならその形勢は把握し辛い fact18: 仮にその形勢が把握し辛くないならあのサイレンサーは穴埋めしない fact19: 仮にあのサイレンサーが穴埋めするならばあの形勢は把握し辛い fact20: なにがしかのものは把握し辛くないならば「ＰＶであるかもしくは褒賞しないかもしくは両方ともである」ということは成り立つということはない fact21: あのサイレンサーは握り込まない fact22: もしあのサイレンサーが穴埋めすればその形勢はＰＶである ; $hypothesis$ = 「あのサイレンサーはＰＶであるか把握し辛くないかどちらもである」ということは本当だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのサイレンサーはＰＶであるかまたは把握し辛くない; assump1 & fact2 & fact13 -> int1: その形勢は穴埋めしない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしその形勢がＰＶでないとするとあのサイレンサーは穴埋めしない
事実2: 「もし仮にあのサイレンサーがＰＶであるとすればあの形勢は穴埋めしない」ということは確かだ
事実3: あのサイレンサーは把握し辛いかそれは穴埋めするということはないかあるいは両方ともである
事実4: 何らかの物は出席出来ないとしたら「乳腺手術だし頼み難い」ということは成り立つということはない
事実5: その形勢が乳腺手術であるならばあの回収可能価額は頼み難い
事実6: あのサイレンサーがＰＶだとすればその形勢は穴埋めする
事実7: 仮にあるものが穴埋めしないならそれは把握し辛くない
事実8: 「もし「この特別教室はバンド幅である」ということは真実でないとすればこの特別教室は出席出来ない」ということは嘘でない
事実9: 「あのプラセンタは把握し辛いということはない」ということは成り立たない
事実10: もしその脳天がＰＶならばこの長電話は把握し辛くない
事実11: あのサイレンサーはＰＶであるかまたは一件落着しない
事実12: あのサイレンサーは満州国建国であるかＰＶでない
事実13: 「もし仮に「あのサイレンサーは把握し辛くない」ということは成り立つとするとその形勢は穴埋めしない」ということは正しい
事実14: その形勢は穴埋めする
事実15: その形勢はＰＶであるかあるいは穴埋めしないかもしくは両方ともである
事実16: もし仮に「なにがしかのものは乳腺手術であるし頼み難い」ということは成り立たないとしたら穴埋めするということはない
事実17: もしあのサイレンサーがＰＶならその形勢は把握し辛い
事実18: 仮にその形勢が把握し辛くないならあのサイレンサーは穴埋めしない
事実19: 仮にあのサイレンサーが穴埋めするならばあの形勢は把握し辛い
事実20: なにがしかのものは把握し辛くないならば「ＰＶであるかもしくは褒賞しないかもしくは両方ともである」ということは成り立つということはない
事実21: あのサイレンサーは握り込まない
事実22: もしあのサイレンサーが穴埋めすればその形勢はＰＶである

仮説: 「あのサイレンサーはＰＶであるか把握し辛くないかどちらもである」ということは本当だということはない
1. 仮定1: 以下のように仮定する。あのサイレンサーはＰＶであるかまたは把握し辛くない
2. 仮定1と事実2と事実13から、推論1: "その形勢は穴埋めしない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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