その反戦は見苦しくない
fact1: もしそのＩＮＲが着目出来ないが見苦しいとすると取っ付き難い fact2: その反戦は内出血でないけど二等分するとしたらそれは見苦しい fact3: もし「なにがしかの物は取っ付き易くないかもしくは見苦しいということはないかもしくはどちらもである」ということは確かでないなら「ＤＤＤＳだ」ということは嘘でない fact4: その反戦は晴々しい fact5: もしもなんらかのものはパートＹならば「それはＤＤＤＳである」ということは成り立つ fact6: もし仮になにがしかの物はパートＹだということはないとすると「それは取っ付き易いということはないかまたは見苦しくない」ということは真実でない fact7: もしその反戦が内出血であるしその上二等分すれば見苦しい fact8: ＤＤＤＳは内出血でないけど濡れそぼつ fact9: なんらかのものが取っ付き易いしＤＤＤＳならば見苦しくない fact10: その反戦は内出血でない fact11: その反戦は内出血であるということはないけど二等分する
fact2 & fact11 -> hypothesis;
その反戦は見苦しいということはない
fact12 -> int1: もしもその反戦は取っ付き易いしさらにＤＤＤＳであるとすれば見苦しくない; fact13 -> int2: 仮にその反戦がパートＹならばそれはＤＤＤＳだ;
$facts$ = fact1: もしそのＩＮＲが着目出来ないが見苦しいとすると取っ付き難い fact2: その反戦は内出血でないけど二等分するとしたらそれは見苦しい fact3: もし「なにがしかの物は取っ付き易くないかもしくは見苦しいということはないかもしくはどちらもである」ということは確かでないなら「ＤＤＤＳだ」ということは嘘でない fact4: その反戦は晴々しい fact5: もしもなんらかのものはパートＹならば「それはＤＤＤＳである」ということは成り立つ fact6: もし仮になにがしかの物はパートＹだということはないとすると「それは取っ付き易いということはないかまたは見苦しくない」ということは真実でない fact7: もしその反戦が内出血であるしその上二等分すれば見苦しい fact8: ＤＤＤＳは内出血でないけど濡れそぼつ fact9: なんらかのものが取っ付き易いしＤＤＤＳならば見苦しくない fact10: その反戦は内出血でない fact11: その反戦は内出血であるということはないけど二等分する ; $hypothesis$ = その反戦は見苦しくない ; $proof$ = 
fact2 & fact11 -> hypothesis; __DISPROVED__
事実1: もしそのＩＮＲが着目出来ないが見苦しいとすると取っ付き難い
事実2: その反戦は内出血でないけど二等分するとしたらそれは見苦しい
事実3: もし「なにがしかの物は取っ付き易くないかもしくは見苦しいということはないかもしくはどちらもである」ということは確かでないなら「ＤＤＤＳだ」ということは嘘でない
事実4: その反戦は晴々しい
事実5: もしもなんらかのものはパートＹならば「それはＤＤＤＳである」ということは成り立つ
事実6: もし仮になにがしかの物はパートＹだということはないとすると「それは取っ付き易いということはないかまたは見苦しくない」ということは真実でない
事実7: もしその反戦が内出血であるしその上二等分すれば見苦しい
事実8: ＤＤＤＳは内出血でないけど濡れそぼつ
事実9: なんらかのものが取っ付き易いしＤＤＤＳならば見苦しくない
事実10: その反戦は内出血でない
事実11: その反戦は内出血であるということはないけど二等分する

仮説: その反戦は見苦しくない
1. 事実2と事実11から、仮説が否定される

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