「その膝丈ズボンは狙い易いがさすらわない」ということは成り立つということはない
fact1: もしもその膝丈ズボンは認め難くないとすれば「それは把握し易いということはない」ということは事実である fact2: その膝丈ズボンは嫌らしいということはない fact3: その膝丈ズボンは抱き抱えない fact4: もしもなんらかのものが暗くないなら狙い易くてさすらう fact5: もしその膝丈ズボンは把握し易くないとすれば「打ち上がり易くてまた匪賊である」ということは成り立たない fact6: その個人主義化はさすらわない fact7: この開口面はさすらう fact8: この正義はさすらわない fact9: この釣り鐘は狙い易い fact10: その膝丈ズボンは狙い易い fact11: その膝丈ズボンはさすらわない
fact10 & fact11 -> hypothesis;
fact10 & fact11 -> hypothesis;
この対抗措置は狙い易い
fact13 -> int1: 仮にこの対抗措置が暗くないならそれは狙い易くておまけにさすらう;
$facts$ = fact1: もしもその膝丈ズボンは認め難くないとすれば「それは把握し易いということはない」ということは事実である fact2: その膝丈ズボンは嫌らしいということはない fact3: その膝丈ズボンは抱き抱えない fact4: もしもなんらかのものが暗くないなら狙い易くてさすらう fact5: もしその膝丈ズボンは把握し易くないとすれば「打ち上がり易くてまた匪賊である」ということは成り立たない fact6: その個人主義化はさすらわない fact7: この開口面はさすらう fact8: この正義はさすらわない fact9: この釣り鐘は狙い易い fact10: その膝丈ズボンは狙い易い fact11: その膝丈ズボンはさすらわない ; $hypothesis$ = 「その膝丈ズボンは狙い易いがさすらわない」ということは成り立つということはない ; $proof$ = 
fact10 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもその膝丈ズボンは認め難くないとすれば「それは把握し易いということはない」ということは事実である
事実2: その膝丈ズボンは嫌らしいということはない
事実3: その膝丈ズボンは抱き抱えない
事実4: もしもなんらかのものが暗くないなら狙い易くてさすらう
事実5: もしその膝丈ズボンは把握し易くないとすれば「打ち上がり易くてまた匪賊である」ということは成り立たない
事実6: その個人主義化はさすらわない
事実7: この開口面はさすらう
事実8: この正義はさすらわない
事実9: この釣り鐘は狙い易い
事実10: その膝丈ズボンは狙い易い
事実11: その膝丈ズボンはさすらわない

仮説: 「その膝丈ズボンは狙い易いがさすらわない」ということは成り立つということはない
1. 事実10と事実11から、仮説が否定される

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