あの白金は五十六参照だ
fact1: この程々は心電図異常スコアでない fact2: あの白金が個体識別でないけれど文化風土であるとするとあの鉱山労働者は五十六参照だ fact3: もしもこの選挙制度改革が個体識別でない一方でミュータンス菌だとすればあの鉱山労働者は文化風土でない fact4: あの鉱山労働者が文化風土であるとするとあの白金は個体識別だ fact5: あの鉱山労働者は文化風土である fact6: 仮にあの採取方法が清算義務でないとすれば如何にするし仲間らしい fact7: 「「この選挙制度改革はいがらっぽい一方で引き摺り込まない」ということは成り立たない」ということは成り立てば「あの白金はミュータンス菌でない」ということは正しい fact8: もしこの程々が協力しないしまた日曜休でないとしたらあの採取方法は清算義務でない fact9: もし仮にあの鉱山労働者が五十六参照であるとするとその年功色は五十六参照だ fact10: あの鉱山労働者は個体識別だ fact11: 仮に「あの鉱山労働者は文化風土でない」ということは成り立つとすればあの白金は五十六参照でない fact12: 何らかの物がミュータンス菌でないとすればそれは個体識別でないけど文化風土だ fact13: あの鉱山労働者は五十六参照だ fact14: 仮になんらかのものは個体識別であるなら五十六参照だ fact15: 仮にこの程々が心電図異常スコアでないとすると協力しなくてそれは日曜休でない
fact4 & fact5 -> int1: あの白金は個体識別である; fact14 -> int2: もしも「あの白金は個体識別である」ということは誤っていないなら五十六参照である; int1 & int2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; fact14 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
その年功色は五十六参照である
fact18 -> int3: もしあの白金がミュータンス菌でないとすると個体識別でないしおまけにそれは文化風土だ;
$facts$ = fact1: この程々は心電図異常スコアでない fact2: あの白金が個体識別でないけれど文化風土であるとするとあの鉱山労働者は五十六参照だ fact3: もしもこの選挙制度改革が個体識別でない一方でミュータンス菌だとすればあの鉱山労働者は文化風土でない fact4: あの鉱山労働者が文化風土であるとするとあの白金は個体識別だ fact5: あの鉱山労働者は文化風土である fact6: 仮にあの採取方法が清算義務でないとすれば如何にするし仲間らしい fact7: 「「この選挙制度改革はいがらっぽい一方で引き摺り込まない」ということは成り立たない」ということは成り立てば「あの白金はミュータンス菌でない」ということは正しい fact8: もしこの程々が協力しないしまた日曜休でないとしたらあの採取方法は清算義務でない fact9: もし仮にあの鉱山労働者が五十六参照であるとするとその年功色は五十六参照だ fact10: あの鉱山労働者は個体識別だ fact11: 仮に「あの鉱山労働者は文化風土でない」ということは成り立つとすればあの白金は五十六参照でない fact12: 何らかの物がミュータンス菌でないとすればそれは個体識別でないけど文化風土だ fact13: あの鉱山労働者は五十六参照だ fact14: 仮になんらかのものは個体識別であるなら五十六参照だ fact15: 仮にこの程々が心電図異常スコアでないとすると協力しなくてそれは日曜休でない ; $hypothesis$ = あの白金は五十六参照だ ; $proof$ = 
fact4 & fact5 -> int1: あの白金は個体識別である; fact14 -> int2: もしも「あの白金は個体識別である」ということは誤っていないなら五十六参照である; int1 & int2 -> hypothesis; __PROVED__
事実1: この程々は心電図異常スコアでない
事実2: あの白金が個体識別でないけれど文化風土であるとするとあの鉱山労働者は五十六参照だ
事実3: もしもこの選挙制度改革が個体識別でない一方でミュータンス菌だとすればあの鉱山労働者は文化風土でない
事実4: あの鉱山労働者が文化風土であるとするとあの白金は個体識別だ
事実5: あの鉱山労働者は文化風土である
事実6: 仮にあの採取方法が清算義務でないとすれば如何にするし仲間らしい
事実7: 「「この選挙制度改革はいがらっぽい一方で引き摺り込まない」ということは成り立たない」ということは成り立てば「あの白金はミュータンス菌でない」ということは正しい
事実8: もしこの程々が協力しないしまた日曜休でないとしたらあの採取方法は清算義務でない
事実9: もし仮にあの鉱山労働者が五十六参照であるとするとその年功色は五十六参照だ
事実10: あの鉱山労働者は個体識別だ
事実11: 仮に「あの鉱山労働者は文化風土でない」ということは成り立つとすればあの白金は五十六参照でない
事実12: 何らかの物がミュータンス菌でないとすればそれは個体識別でないけど文化風土だ
事実13: あの鉱山労働者は五十六参照だ
事実14: 仮になんらかのものは個体識別であるなら五十六参照だ
事実15: 仮にこの程々が心電図異常スコアでないとすると協力しなくてそれは日曜休でない

仮説: あの白金は五十六参照だ
1. 事実4と事実5から、推論1: "あの白金は個体識別である"が導かれる
2. 事実14から、推論2: "もしも「あの白金は個体識別である」ということは誤っていないなら五十六参照である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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