「このＢＣＧ未接種は住み込むということはない」ということは偽だ
fact1: もし「その病因は喀血する一方で男らしいということはない」ということは成り立つならそれは立て替える fact2: その病因が立て替えるとすればあのＢＣＧ未接種は免れ難い fact3: もしもその病因が喀血するということはないしそれが男らしくないとすれば立て替える fact4: その病因は喀血しない fact5: その病因は喀血しないししかも男らしいということはない fact6: もしもとある物が免れ難いとしたら住み込む
fact3 & fact5 -> int1: 「その病因は立て替える」ということは成り立つ; int1 & fact2 -> int2: このＢＣＧ未接種は免れ難い; fact6 -> int3: もし仮に「このＢＣＧ未接種は免れ難い」ということは事実だとしたら住み込む; int2 & int3 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; fact6 -> int3: {A}{b} -> {C}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: もし「その病因は喀血する一方で男らしいということはない」ということは成り立つならそれは立て替える fact2: その病因が立て替えるとすればあのＢＣＧ未接種は免れ難い fact3: もしもその病因が喀血するということはないしそれが男らしくないとすれば立て替える fact4: その病因は喀血しない fact5: その病因は喀血しないししかも男らしいということはない fact6: もしもとある物が免れ難いとしたら住み込む ; $hypothesis$ = 「このＢＣＧ未接種は住み込むということはない」ということは偽だ ; $proof$ = 
fact3 & fact5 -> int1: 「その病因は立て替える」ということは成り立つ; int1 & fact2 -> int2: このＢＣＧ未接種は免れ難い; fact6 -> int3: もし仮に「このＢＣＧ未接種は免れ難い」ということは事実だとしたら住み込む; int2 & int3 -> hypothesis; __PROVED__
事実1: もし「その病因は喀血する一方で男らしいということはない」ということは成り立つならそれは立て替える
事実2: その病因が立て替えるとすればあのＢＣＧ未接種は免れ難い
事実3: もしもその病因が喀血するということはないしそれが男らしくないとすれば立て替える
事実4: その病因は喀血しない
事実5: その病因は喀血しないししかも男らしいということはない
事実6: もしもとある物が免れ難いとしたら住み込む

仮説: 「このＢＣＧ未接種は住み込むということはない」ということは偽だ
1. 事実3と事実5から、推論1: "「その病因は立て替える」ということは成り立つ"が導かれる
2. 推論1と事実2から、推論2: "このＢＣＧ未接種は免れ難い"が導かれる
3. 事実6から、推論3: "もし仮に「このＢＣＧ未接種は免れ難い」ということは事実だとしたら住み込む"が導かれる
4. 推論2と推論3から、仮説が導かれる

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