「この十三日民集は貝柱であるしそれはＶオンである」ということは成り立たない
fact1: 「「丸かんでないかもしくは茶房でないかもしくは両方ともである」ということは成り立たない」物はある fact2: 「「丸かんであるかもしくは茶房でないか両方ともである」ということは成り立たない」物があるならその鎖国政策は宰相である fact3: 「その体調はか細い」ということは本当である fact4: もしも「「丸かんでないかまたは茶房だということはないかあるいはどちらもである」ということは偽な」ものがあるとすればあの鎖国政策は宰相である fact5: あるものはか細い fact6: その体調は募集時だ fact7: 「募集時な」ものはある fact8: もし仮にその鎖国政策が宰相であるしさらに公募するとしたらあの相変化は長細くない fact9: 仮に「か細くて募集時な」ものがあるとするとあの相変化は長細い fact10: 仮に「その鎖国政策は公募しない」ということは真実ならば「この十三日民集は貝柱だしそれにＶオンである」ということは正しくない
fact1 & fact4 -> int1: その鎖国政策は宰相である; void -> assump1: 以下のように仮定する。その鎖国政策は公募する; int1 & assump1 -> int2: その鎖国政策は宰相であるしその上公募する; int2 & fact8 -> int3: あの相変化は長細くない; fact6 & fact3 -> int4: その体調はか細くてそれは募集時だ; int4 -> int5: 「か細いししかも募集時である」物はある; fact9 & int5 -> int6: あの相変化は長細い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鎖国政策は公募しない; int8 & fact10 -> hypothesis;
$facts$ = fact1: 「「丸かんでないかもしくは茶房でないかもしくは両方ともである」ということは成り立たない」物はある fact2: 「「丸かんであるかもしくは茶房でないか両方ともである」ということは成り立たない」物があるならその鎖国政策は宰相である fact3: 「その体調はか細い」ということは本当である fact4: もしも「「丸かんでないかまたは茶房だということはないかあるいはどちらもである」ということは偽な」ものがあるとすればあの鎖国政策は宰相である fact5: あるものはか細い fact6: その体調は募集時だ fact7: 「募集時な」ものはある fact8: もし仮にその鎖国政策が宰相であるしさらに公募するとしたらあの相変化は長細くない fact9: 仮に「か細くて募集時な」ものがあるとするとあの相変化は長細い fact10: 仮に「その鎖国政策は公募しない」ということは真実ならば「この十三日民集は貝柱だしそれにＶオンである」ということは正しくない ; $hypothesis$ = 「この十三日民集は貝柱であるしそれはＶオンである」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> int1: その鎖国政策は宰相である; void -> assump1: 以下のように仮定する。その鎖国政策は公募する; int1 & assump1 -> int2: その鎖国政策は宰相であるしその上公募する; int2 & fact8 -> int3: あの相変化は長細くない; fact6 & fact3 -> int4: その体調はか細くてそれは募集時だ; int4 -> int5: 「か細いししかも募集時である」物はある; fact9 & int5 -> int6: あの相変化は長細い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鎖国政策は公募しない; int8 & fact10 -> hypothesis; __PROVED__
事実1: 「「丸かんでないかもしくは茶房でないかもしくは両方ともである」ということは成り立たない」物はある
事実2: 「「丸かんであるかもしくは茶房でないか両方ともである」ということは成り立たない」物があるならその鎖国政策は宰相である
事実3: 「その体調はか細い」ということは本当である
事実4: もしも「「丸かんでないかまたは茶房だということはないかあるいはどちらもである」ということは偽な」ものがあるとすればあの鎖国政策は宰相である
事実5: あるものはか細い
事実6: その体調は募集時だ
事実7: 「募集時な」ものはある
事実8: もし仮にその鎖国政策が宰相であるしさらに公募するとしたらあの相変化は長細くない
事実9: 仮に「か細くて募集時な」ものがあるとするとあの相変化は長細い
事実10: 仮に「その鎖国政策は公募しない」ということは真実ならば「この十三日民集は貝柱だしそれにＶオンである」ということは正しくない

仮説: 「この十三日民集は貝柱であるしそれはＶオンである」ということは成り立たない
1. 事実1と事実4から、推論1: "その鎖国政策は宰相である"が導かれる
2. 仮定1: 以下のように仮定する。その鎖国政策は公募する
3. 推論1と仮定1から、推論2: "その鎖国政策は宰相であるしその上公募する"が導かれる
4. 推論2と事実8から、推論3: "あの相変化は長細くない"が導かれる
5. 事実6と事実3から、推論4: "その体調はか細くてそれは募集時だ"が導かれる
6. 推論4から、推論5: "「か細いししかも募集時である」物はある"が導かれる
7. 事実9と推論5から、推論6: "あの相変化は長細い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その鎖国政策は公募しない"が導かれる
10. 推論8と事実10から、仮説が導かれる

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