その弱冠は出掛ける
fact1: その適応疾患は宮様だ fact2: もしもその弱冠が宮様だとすれば甘過ぎない fact3: もしこの国立国会図書館蔵が潔しならばこの供給業者はむず痒くないかまたはそれは灯し難くないか両方ともだ fact4: この粥状硬化は甘過ぎない fact5: ある物が経験出来ないとすれば宮様だし更に甘過ぎる fact6: もし「「その銀行借り入れ金は潔しないし税込み経理でない」ということは成り立たない」ということは成り立つとすれば「潔し」ということは成り立つ fact7: この軟座は出掛けるということはない fact8: 仮にあのトゥエンティが宮様だとしたら指揮監督しない fact9: 仮にその弱冠が出掛けるならそれは甘過ぎない fact10: その適応疾患は甘過ぎる fact11: その弱冠は宮様でない fact12: もし「むず痒いということはないかもしくは灯し難くないかもしくは両方ともな」ものがあるならその適応疾患はでっかくない fact13: 仮にそのホワイト・ハウスは瓶詰めするということはないとすれば「その銀行借り入れ金は潔しないし加えて税込み経理でない」ということは成り立たない fact14: 仮にその弱冠が処置すれば出掛けない fact15: 仮にその銀行借り入れ金が潔しならばこの国立国会図書館蔵は潔し fact16: もし仮にその適応疾患が宮様だとしたらその弱冠は甘過ぎる fact17: そのホワイト・ハウスは瓶詰めしない fact18: もしその弱冠が宮様であるとしたらその適応疾患は甘過ぎる
void -> assump1: 以下のように仮定する。その弱冠は出掛ける; fact9 & assump1 -> int1: その弱冠は甘過ぎない; fact16 & fact1 -> int2: 「その弱冠は甘過ぎない」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact9 & assump1 -> int1: ¬{B}{a}; fact16 & fact1 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その弱冠は出掛ける
fact19 & fact22 -> int4: 「その銀行借り入れ金は潔しないし税込み経理だということはない」ということは成り立たない; fact20 & int4 -> int5: その銀行借り入れ金は潔し; fact24 & int5 -> int6: この国立国会図書館蔵は潔し; fact21 & int6 -> int7: この供給業者はむず痒くないか灯し難くないか両方だ; int7 -> int8: なんらかのものはむず痒くないか灯し難いということはないか両方ともだ; int8 & fact23 -> int9: その適応疾患はでっかくない; int9 -> int10: なにかはでっかくない;
$facts$ = fact1: その適応疾患は宮様だ fact2: もしもその弱冠が宮様だとすれば甘過ぎない fact3: もしこの国立国会図書館蔵が潔しならばこの供給業者はむず痒くないかまたはそれは灯し難くないか両方ともだ fact4: この粥状硬化は甘過ぎない fact5: ある物が経験出来ないとすれば宮様だし更に甘過ぎる fact6: もし「「その銀行借り入れ金は潔しないし税込み経理でない」ということは成り立たない」ということは成り立つとすれば「潔し」ということは成り立つ fact7: この軟座は出掛けるということはない fact8: 仮にあのトゥエンティが宮様だとしたら指揮監督しない fact9: 仮にその弱冠が出掛けるならそれは甘過ぎない fact10: その適応疾患は甘過ぎる fact11: その弱冠は宮様でない fact12: もし「むず痒いということはないかもしくは灯し難くないかもしくは両方ともな」ものがあるならその適応疾患はでっかくない fact13: 仮にそのホワイト・ハウスは瓶詰めするということはないとすれば「その銀行借り入れ金は潔しないし加えて税込み経理でない」ということは成り立たない fact14: 仮にその弱冠が処置すれば出掛けない fact15: 仮にその銀行借り入れ金が潔しならばこの国立国会図書館蔵は潔し fact16: もし仮にその適応疾患が宮様だとしたらその弱冠は甘過ぎる fact17: そのホワイト・ハウスは瓶詰めしない fact18: もしその弱冠が宮様であるとしたらその適応疾患は甘過ぎる ; $hypothesis$ = その弱冠は出掛ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その弱冠は出掛ける; fact9 & assump1 -> int1: その弱冠は甘過ぎない; fact16 & fact1 -> int2: 「その弱冠は甘過ぎない」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その適応疾患は宮様だ
事実2: もしもその弱冠が宮様だとすれば甘過ぎない
事実3: もしこの国立国会図書館蔵が潔しならばこの供給業者はむず痒くないかまたはそれは灯し難くないか両方ともだ
事実4: この粥状硬化は甘過ぎない
事実5: ある物が経験出来ないとすれば宮様だし更に甘過ぎる
事実6: もし「「その銀行借り入れ金は潔しないし税込み経理でない」ということは成り立たない」ということは成り立つとすれば「潔し」ということは成り立つ
事実7: この軟座は出掛けるということはない
事実8: 仮にあのトゥエンティが宮様だとしたら指揮監督しない
事実9: 仮にその弱冠が出掛けるならそれは甘過ぎない
事実10: その適応疾患は甘過ぎる
事実11: その弱冠は宮様でない
事実12: もし「むず痒いということはないかもしくは灯し難くないかもしくは両方ともな」ものがあるならその適応疾患はでっかくない
事実13: 仮にそのホワイト・ハウスは瓶詰めするということはないとすれば「その銀行借り入れ金は潔しないし加えて税込み経理でない」ということは成り立たない
事実14: 仮にその弱冠が処置すれば出掛けない
事実15: 仮にその銀行借り入れ金が潔しならばこの国立国会図書館蔵は潔し
事実16: もし仮にその適応疾患が宮様だとしたらその弱冠は甘過ぎる
事実17: そのホワイト・ハウスは瓶詰めしない
事実18: もしその弱冠が宮様であるとしたらその適応疾患は甘過ぎる

仮説: その弱冠は出掛ける
1. 仮定1: 以下のように仮定する。その弱冠は出掛ける
2. 事実9と仮定1から、推論1: "その弱冠は甘過ぎない"が導かれる
3. 事実16と事実1から、推論2: "「その弱冠は甘過ぎない」ということは間違いだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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