あの及び腰はほくほくする
fact1: その新政府軍は想像し難くない fact2: あの介護休業等育児はほくほくしない fact3: もしこの小説が想像し難いならあの及び腰はほくほくしない fact4: あの及び腰は想像し難くない fact5: この先覚者はほくほくする fact6: 仮にその親御さんがほくほくするとするとあの及び腰は想像し難くない fact7: もしもあの及び腰が想像し難いならばその親御さんはほくほくしない fact8: もし仮にその親御さんが想像し難いとしたらあの及び腰はほくほくしない fact9: その親御さんはほくほくする fact10: 仮に何かは木阿弥でないならほくほくするしまた想像し難い fact11: その親御さんは先鋭だ fact12: その親御さんは想像し難い
fact8 & fact12 -> hypothesis;
fact8 & fact12 -> hypothesis;
あの及び腰はほくほくする
fact13 -> int1: 「あの及び腰は木阿弥でない」ということは本当ならそれはほくほくするし想像し難い;
$facts$ = fact1: その新政府軍は想像し難くない fact2: あの介護休業等育児はほくほくしない fact3: もしこの小説が想像し難いならあの及び腰はほくほくしない fact4: あの及び腰は想像し難くない fact5: この先覚者はほくほくする fact6: 仮にその親御さんがほくほくするとするとあの及び腰は想像し難くない fact7: もしもあの及び腰が想像し難いならばその親御さんはほくほくしない fact8: もし仮にその親御さんが想像し難いとしたらあの及び腰はほくほくしない fact9: その親御さんはほくほくする fact10: 仮に何かは木阿弥でないならほくほくするしまた想像し難い fact11: その親御さんは先鋭だ fact12: その親御さんは想像し難い ; $hypothesis$ = あの及び腰はほくほくする ; $proof$ = 
fact8 & fact12 -> hypothesis; __DISPROVED__
事実1: その新政府軍は想像し難くない
事実2: あの介護休業等育児はほくほくしない
事実3: もしこの小説が想像し難いならあの及び腰はほくほくしない
事実4: あの及び腰は想像し難くない
事実5: この先覚者はほくほくする
事実6: 仮にその親御さんがほくほくするとするとあの及び腰は想像し難くない
事実7: もしもあの及び腰が想像し難いならばその親御さんはほくほくしない
事実8: もし仮にその親御さんが想像し難いとしたらあの及び腰はほくほくしない
事実9: その親御さんはほくほくする
事実10: 仮に何かは木阿弥でないならほくほくするしまた想像し難い
事実11: その親御さんは先鋭だ
事実12: その親御さんは想像し難い

仮説: あの及び腰はほくほくする
1. 事実8と事実12から、仮説が否定される

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