その被写は賑々しい
fact1: この考察対象は賑々しいということはない fact2: もしも「「馬王堆本甲・乙である一方でつべたくない」ということは真実でない」物があるとするとこの考察対象は馬王堆本甲・乙でない fact3: もしも「つべたい」物があればこの考察対象は馬王堆本甲・乙でない fact4: 「なにがしかのものは斬首する」ということは正しいとしたらそれは賑々しいけれど馬王堆本甲・乙だということはない fact5: もしなんらかのものは晴々すればそれはつべたくないかあるいは忝くないかもしくは両方ともである fact6: 「「馬王堆本甲・乙であるししかもつべたい」ということは成り立たない」物はある fact7: もしなにがしかの物はつべたいなら「斬首する」ということは成り立つ fact8: この考察対象はむくつけし fact9: もし仮にこの考察対象は賑々しいとしたら「その被写は馬王堆本甲・乙だ」ということは確かだ fact10: なんらかのものは馬王堆本甲・乙だ一方でつべたくない fact11: もし仮になにかはくどくないならそれは病み衰えるしかつそれは晴々する fact12: 「「馬王堆本甲・乙でつべたくない」ということは成り立つということはない」物はある fact13: あらゆるものはくどくない fact14: その被写はつべたくない fact15: もしもこの考察対象が忝いということはないとしたらその被写はつべたい fact16: もし仮にその被写は賑々しいなら「この考察対象は馬王堆本甲・乙だ」ということは確かである
void -> assump1: 以下のように仮定する。その被写は賑々しい; fact16 & assump1 -> int1: この考察対象は馬王堆本甲・乙である; fact2 & fact12 -> int2: この考察対象は馬王堆本甲・乙でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact16 & assump1 -> int1: {B}{b}; fact2 & fact12 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その被写は賑々しい
fact20 -> int4: もし「「その被写は斬首しない」ということは真実である」ということは事実と異なればそれは賑々しいしまた馬王堆本甲・乙でない; fact17 -> int5: もし仮にその被写がつべたいとすればそれは斬首する; fact18 -> int6: この住宅価格がくどくないなら病み衰えるしそれは晴々する; fact22 -> int7: この住宅価格はくどくない; int6 & int7 -> int8: この住宅価格は病み衰えるしそれは晴々する; int8 -> int9: 何もかもは病み衰えるしその上晴々する; int9 -> int10: この考察対象は病み衰えるしおまけに晴々する; int10 -> int11: この考察対象は晴々する; fact21 -> int12: もし仮にこの考察対象は晴々するとしたらそれはつべたくないかあるいは忝くないかまたは両方ともだ; int11 & int12 -> int13: 「この考察対象はつべたくないかまたはそれは忝くないかあるいは両方だ」ということは正しい;
$facts$ = fact1: この考察対象は賑々しいということはない fact2: もしも「「馬王堆本甲・乙である一方でつべたくない」ということは真実でない」物があるとするとこの考察対象は馬王堆本甲・乙でない fact3: もしも「つべたい」物があればこの考察対象は馬王堆本甲・乙でない fact4: 「なにがしかのものは斬首する」ということは正しいとしたらそれは賑々しいけれど馬王堆本甲・乙だということはない fact5: もしなんらかのものは晴々すればそれはつべたくないかあるいは忝くないかもしくは両方ともである fact6: 「「馬王堆本甲・乙であるししかもつべたい」ということは成り立たない」物はある fact7: もしなにがしかの物はつべたいなら「斬首する」ということは成り立つ fact8: この考察対象はむくつけし fact9: もし仮にこの考察対象は賑々しいとしたら「その被写は馬王堆本甲・乙だ」ということは確かだ fact10: なんらかのものは馬王堆本甲・乙だ一方でつべたくない fact11: もし仮になにかはくどくないならそれは病み衰えるしかつそれは晴々する fact12: 「「馬王堆本甲・乙でつべたくない」ということは成り立つということはない」物はある fact13: あらゆるものはくどくない fact14: その被写はつべたくない fact15: もしもこの考察対象が忝いということはないとしたらその被写はつべたい fact16: もし仮にその被写は賑々しいなら「この考察対象は馬王堆本甲・乙だ」ということは確かである ; $hypothesis$ = その被写は賑々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その被写は賑々しい; fact16 & assump1 -> int1: この考察対象は馬王堆本甲・乙である; fact2 & fact12 -> int2: この考察対象は馬王堆本甲・乙でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この考察対象は賑々しいということはない
事実2: もしも「「馬王堆本甲・乙である一方でつべたくない」ということは真実でない」物があるとするとこの考察対象は馬王堆本甲・乙でない
事実3: もしも「つべたい」物があればこの考察対象は馬王堆本甲・乙でない
事実4: 「なにがしかのものは斬首する」ということは正しいとしたらそれは賑々しいけれど馬王堆本甲・乙だということはない
事実5: もしなんらかのものは晴々すればそれはつべたくないかあるいは忝くないかもしくは両方ともである
事実6: 「「馬王堆本甲・乙であるししかもつべたい」ということは成り立たない」物はある
事実7: もしなにがしかの物はつべたいなら「斬首する」ということは成り立つ
事実8: この考察対象はむくつけし
事実9: もし仮にこの考察対象は賑々しいとしたら「その被写は馬王堆本甲・乙だ」ということは確かだ
事実10: なんらかのものは馬王堆本甲・乙だ一方でつべたくない
事実11: もし仮になにかはくどくないならそれは病み衰えるしかつそれは晴々する
事実12: 「「馬王堆本甲・乙でつべたくない」ということは成り立つということはない」物はある
事実13: あらゆるものはくどくない
事実14: その被写はつべたくない
事実15: もしもこの考察対象が忝いということはないとしたらその被写はつべたい
事実16: もし仮にその被写は賑々しいなら「この考察対象は馬王堆本甲・乙だ」ということは確かである

仮説: その被写は賑々しい
1. 仮定1: 以下のように仮定する。その被写は賑々しい
2. 事実16と仮定1から、推論1: "この考察対象は馬王堆本甲・乙である"が導かれる
3. 事実2と事実12から、推論2: "この考察対象は馬王堆本甲・乙でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。