そのＣＤＮＡは湿疹でなくて加えて必至だということはない
fact1: もし仮にこのソンテウが眩いがしかしそれが大臣室でないとするとその午後はフィレットする fact2: なんらかのものは登記官であるとするとそれは青くないかあるいはフィレットするか両方だ fact3: もし仮にこのソンテウが眩くないがしかし大臣室ならその午後は眩くない fact4: 「その午後は登記官だしそれに青い」ということは成り立たない fact5: このソンテウは眩くないけど大臣室だ fact6: もしもこのソンテウが眩いがしかし湿疹でないならその山間地域はフィレットする fact7: もしもその山間地域が青くないとしたらそのＣＤＮＡは湿疹でないし必至でない fact8: もしその山間地域はフィレットすれば「その午後は登記官だがしかし青くない」ということは誤っている fact9: このソンテウは嘘っぽいか判別し易い fact10: もしもなんらかのものは青くないかまたはフィレットするかもしくは両方ともならそれは青くない fact11: もし仮にその午後が嘘っぽくないとするとその山間地域は大臣室であるかまたは眩いか両方だ fact12: もしも「その午後は登記官である一方で青くない」ということは成り立たないとすれば眩い fact13: もしそのＣＤＮＡが湿疹であるということはないし加えて必至でないとするとその山間地域はフィレットする
void -> assump1: 以下のように仮定する。そのＣＤＮＡは湿疹でなくてしかも必至でない; fact13 & assump1 -> int1: その山間地域はフィレットする; int1 & fact8 -> int2: 「その午後は登記官だ一方で青くない」ということは間違いである; int2 & fact12 -> int3: その午後は眩い; fact3 & fact5 -> int4: その午後は眩くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのＣＤＮＡは湿疹であるということはなくてしかも必至でない
fact16 -> int6: もしその山間地域が青くないかもしくはそれはフィレットするかまたはどちらもだとすればそれは青くない; fact15 -> int7: もしもその山間地域が登記官だとすると青いということはないかまたはフィレットするかどちらもだ;
$facts$ = fact1: もし仮にこのソンテウが眩いがしかしそれが大臣室でないとするとその午後はフィレットする fact2: なんらかのものは登記官であるとするとそれは青くないかあるいはフィレットするか両方だ fact3: もし仮にこのソンテウが眩くないがしかし大臣室ならその午後は眩くない fact4: 「その午後は登記官だしそれに青い」ということは成り立たない fact5: このソンテウは眩くないけど大臣室だ fact6: もしもこのソンテウが眩いがしかし湿疹でないならその山間地域はフィレットする fact7: もしもその山間地域が青くないとしたらそのＣＤＮＡは湿疹でないし必至でない fact8: もしその山間地域はフィレットすれば「その午後は登記官だがしかし青くない」ということは誤っている fact9: このソンテウは嘘っぽいか判別し易い fact10: もしもなんらかのものは青くないかまたはフィレットするかもしくは両方ともならそれは青くない fact11: もし仮にその午後が嘘っぽくないとするとその山間地域は大臣室であるかまたは眩いか両方だ fact12: もしも「その午後は登記官である一方で青くない」ということは成り立たないとすれば眩い fact13: もしそのＣＤＮＡが湿疹であるということはないし加えて必至でないとするとその山間地域はフィレットする ; $hypothesis$ = そのＣＤＮＡは湿疹でなくて加えて必至だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＣＤＮＡは湿疹でなくてしかも必至でない; fact13 & assump1 -> int1: その山間地域はフィレットする; int1 & fact8 -> int2: 「その午後は登記官だ一方で青くない」ということは間違いである; int2 & fact12 -> int3: その午後は眩い; fact3 & fact5 -> int4: その午後は眩くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にこのソンテウが眩いがしかしそれが大臣室でないとするとその午後はフィレットする
事実2: なんらかのものは登記官であるとするとそれは青くないかあるいはフィレットするか両方だ
事実3: もし仮にこのソンテウが眩くないがしかし大臣室ならその午後は眩くない
事実4: 「その午後は登記官だしそれに青い」ということは成り立たない
事実5: このソンテウは眩くないけど大臣室だ
事実6: もしもこのソンテウが眩いがしかし湿疹でないならその山間地域はフィレットする
事実7: もしもその山間地域が青くないとしたらそのＣＤＮＡは湿疹でないし必至でない
事実8: もしその山間地域はフィレットすれば「その午後は登記官だがしかし青くない」ということは誤っている
事実9: このソンテウは嘘っぽいか判別し易い
事実10: もしもなんらかのものは青くないかまたはフィレットするかもしくは両方ともならそれは青くない
事実11: もし仮にその午後が嘘っぽくないとするとその山間地域は大臣室であるかまたは眩いか両方だ
事実12: もしも「その午後は登記官である一方で青くない」ということは成り立たないとすれば眩い
事実13: もしそのＣＤＮＡが湿疹であるということはないし加えて必至でないとするとその山間地域はフィレットする

仮説: そのＣＤＮＡは湿疹でなくて加えて必至だということはない
1. 仮定1: 以下のように仮定する。そのＣＤＮＡは湿疹でなくてしかも必至でない
2. 事実13と仮定1から、推論1: "その山間地域はフィレットする"が導かれる
3. 推論1と事実8から、推論2: "「その午後は登記官だ一方で青くない」ということは間違いである"が導かれる
4. 推論2と事実12から、推論3: "その午後は眩い"が導かれる
5. 事実3と事実5から、推論4: "その午後は眩くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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