「あの上記Ｂは丁卯であるし加えて真っ黒い」ということは偽である
fact1: もし何かは兼営しないならば「止血するし賑々しい」ということは成り立つということはない fact2: 規則正しいものは真っ黒い fact3: もしあのボーナスが挙上するかまたはＢＩＮＤでないかどちらもだとすればあの上記ＢはＢＩＮＤだということはない fact4: あのボーナスは仕舞い易い fact5: あの上記Ｂは埃っぽい fact6: その八表は嘆かわしいししかもそれは言い替える fact7: あのボーナスは丁卯である fact8: あの上記ＢはＢＩＮＤだ fact9: あのボーナスは真っ黒い fact10: あの上記Ｂは恥ず fact11: 仮に「その死球は止血するしそれは賑々しい」ということは偽ならこのやえん投入は止血しない fact12: あの上記ＢはＢＩＮＤで規則正しい fact13: その寄託は真っ黒くないとすれば「規則正しくなくてかつＢＩＮＤだ」ということは成り立たない fact14: もしも何らかのものはＢＩＮＤでないとすると「それが丁卯だしそれに真っ黒い」ということは偽である fact15: 祝い事は規則正しい fact16: もし仮に「何らかの物は規則正しいということはない一方でＢＩＮＤである」ということは間違いであるとすると規則正しい fact17: もしも「あのボーナスは丁卯だ」ということは事実であるならば「あの上記Ｂは丁卯である」ということは成り立つ fact18: この情報システム化はＢＩＮＤである fact19: あの八十七年秋は規則正しい
fact12 -> int1: あの上記Ｂは規則正しい; fact2 -> int2: もし仮にあの上記Ｂは規則正しいとすると「真っ黒い」ということは成り立つ; int1 & int2 -> int3: あの上記Ｂは真っ黒い; fact17 & fact7 -> int4: あの上記Ｂは丁卯である; int3 & int4 -> hypothesis;
もし仮にこの公武合体派が祝い事だとすればそれは規則正しい
fact20 -> hypothesis;
$facts$ = fact1: もし何かは兼営しないならば「止血するし賑々しい」ということは成り立つということはない fact2: 規則正しいものは真っ黒い fact3: もしあのボーナスが挙上するかまたはＢＩＮＤでないかどちらもだとすればあの上記ＢはＢＩＮＤだということはない fact4: あのボーナスは仕舞い易い fact5: あの上記Ｂは埃っぽい fact6: その八表は嘆かわしいししかもそれは言い替える fact7: あのボーナスは丁卯である fact8: あの上記ＢはＢＩＮＤだ fact9: あのボーナスは真っ黒い fact10: あの上記Ｂは恥ず fact11: 仮に「その死球は止血するしそれは賑々しい」ということは偽ならこのやえん投入は止血しない fact12: あの上記ＢはＢＩＮＤで規則正しい fact13: その寄託は真っ黒くないとすれば「規則正しくなくてかつＢＩＮＤだ」ということは成り立たない fact14: もしも何らかのものはＢＩＮＤでないとすると「それが丁卯だしそれに真っ黒い」ということは偽である fact15: 祝い事は規則正しい fact16: もし仮に「何らかの物は規則正しいということはない一方でＢＩＮＤである」ということは間違いであるとすると規則正しい fact17: もしも「あのボーナスは丁卯だ」ということは事実であるならば「あの上記Ｂは丁卯である」ということは成り立つ fact18: この情報システム化はＢＩＮＤである fact19: あの八十七年秋は規則正しい ; $hypothesis$ = 「あの上記Ｂは丁卯であるし加えて真っ黒い」ということは偽である ; $proof$ = 
fact12 -> int1: あの上記Ｂは規則正しい; fact2 -> int2: もし仮にあの上記Ｂは規則正しいとすると「真っ黒い」ということは成り立つ; int1 & int2 -> int3: あの上記Ｂは真っ黒い; fact17 & fact7 -> int4: あの上記Ｂは丁卯である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし何かは兼営しないならば「止血するし賑々しい」ということは成り立つということはない
事実2: 規則正しいものは真っ黒い
事実3: もしあのボーナスが挙上するかまたはＢＩＮＤでないかどちらもだとすればあの上記ＢはＢＩＮＤだということはない
事実4: あのボーナスは仕舞い易い
事実5: あの上記Ｂは埃っぽい
事実6: その八表は嘆かわしいししかもそれは言い替える
事実7: あのボーナスは丁卯である
事実8: あの上記ＢはＢＩＮＤだ
事実9: あのボーナスは真っ黒い
事実10: あの上記Ｂは恥ず
事実11: 仮に「その死球は止血するしそれは賑々しい」ということは偽ならこのやえん投入は止血しない
事実12: あの上記ＢはＢＩＮＤで規則正しい
事実13: その寄託は真っ黒くないとすれば「規則正しくなくてかつＢＩＮＤだ」ということは成り立たない
事実14: もしも何らかのものはＢＩＮＤでないとすると「それが丁卯だしそれに真っ黒い」ということは偽である
事実15: 祝い事は規則正しい
事実16: もし仮に「何らかの物は規則正しいということはない一方でＢＩＮＤである」ということは間違いであるとすると規則正しい
事実17: もしも「あのボーナスは丁卯だ」ということは事実であるならば「あの上記Ｂは丁卯である」ということは成り立つ
事実18: この情報システム化はＢＩＮＤである
事実19: あの八十七年秋は規則正しい

仮説: 「あの上記Ｂは丁卯であるし加えて真っ黒い」ということは偽である
1. 事実12から、推論1: "あの上記Ｂは規則正しい"が導かれる
2. 事実2から、推論2: "もし仮にあの上記Ｂは規則正しいとすると「真っ黒い」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの上記Ｂは真っ黒い"が導かれる
4. 事実17と事実7から、推論4: "あの上記Ｂは丁卯である"が導かれる
5. 推論3と推論4から、仮説が否定される

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