「「聞こえ難い」ということは真実であるとしたら甘ったるくなくて痒くない」物はある
fact1: もし何かは眩しいとしたら女岩であるということはないしそれに寂れない fact2: 「もしも聞こえ難いならば甘ったるくない」物はある fact3: あのネットビジネスが聞こえ難いなら甘ったるくない fact4: 「もし「聞こえ難い」ということは本当であるとすると甘ったるいし痒くない」ものはある fact5: 「「聞こえ難い」ということは成り立てば痒くない」ものはある fact6: 「もしも「聞こえ難い」ということは正しいとすれば甘ったるいということはなくておまけに痒い」物はある fact7: もし「あのネットビジネスは聞こえ難い」ということは事実であるとするとそれは甘ったるいということはないが痒い fact8: もしもあのネットビジネスが聞こえ難いならばそれは甘ったるくなくてしかも痒くない
fact8 -> hypothesis;
fact8 -> hypothesis;
「もし仮に眩しいとすれば女岩でなくて更に寂れない」ものはある
fact9 -> int1: もしもこの地域歯科保健活動が眩しいならば女岩だということはないし寂れない; int1 -> hypothesis;
$facts$ = fact1: もし何かは眩しいとしたら女岩であるということはないしそれに寂れない fact2: 「もしも聞こえ難いならば甘ったるくない」物はある fact3: あのネットビジネスが聞こえ難いなら甘ったるくない fact4: 「もし「聞こえ難い」ということは本当であるとすると甘ったるいし痒くない」ものはある fact5: 「「聞こえ難い」ということは成り立てば痒くない」ものはある fact6: 「もしも「聞こえ難い」ということは正しいとすれば甘ったるいということはなくておまけに痒い」物はある fact7: もし「あのネットビジネスは聞こえ難い」ということは事実であるとするとそれは甘ったるいということはないが痒い fact8: もしもあのネットビジネスが聞こえ難いならばそれは甘ったるくなくてしかも痒くない ; $hypothesis$ = 「「聞こえ難い」ということは真実であるとしたら甘ったるくなくて痒くない」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし何かは眩しいとしたら女岩であるということはないしそれに寂れない
事実2: 「もしも聞こえ難いならば甘ったるくない」物はある
事実3: あのネットビジネスが聞こえ難いなら甘ったるくない
事実4: 「もし「聞こえ難い」ということは本当であるとすると甘ったるいし痒くない」ものはある
事実5: 「「聞こえ難い」ということは成り立てば痒くない」ものはある
事実6: 「もしも「聞こえ難い」ということは正しいとすれば甘ったるいということはなくておまけに痒い」物はある
事実7: もし「あのネットビジネスは聞こえ難い」ということは事実であるとするとそれは甘ったるいということはないが痒い
事実8: もしもあのネットビジネスが聞こえ難いならばそれは甘ったるくなくてしかも痒くない

仮説: 「「聞こえ難い」ということは真実であるとしたら甘ったるくなくて痒くない」物はある
1. 事実8から、仮説が導かれる

よって、仮説が証明されました。