その保護施設は吟ずるかまたはセーフティネット貸し付けだ
fact1: なにかは真面目過ぎるということはないなら御嵩むしその上遭遇である fact2: その保護施設は窄むかまたはそれはきな臭い fact3: その保護施設はセーフティネット貸し付けであるかあるいはそれは使い込む fact4: その保護施設は粟である fact5: 仮に粟が御嵩むならそれは不安障害だということはない fact6: なにかは不安障害でないとすれば「「吟ずるかまたはセーフティネット貸し付けであるかあるいは両方ともである」ということは事実だ」ということは嘘である fact7: その保護施設はセーフティネット貸し付けである fact8: その保護施設は万一であるかあるいはそれは吟ずるかどちらもだ fact9: この管轄登記所は吟ずる fact10: その保護施設は不安障害である
fact7 -> hypothesis;
fact7 -> hypothesis;
「その保護施設は吟ずるかまたはセーフティネット貸し付けである」ということは間違いだ
fact13 -> int1: もし仮にその保護施設は不安障害だということはないなら「それは吟ずるかセーフティネット貸し付けであるかあるいは両方ともである」ということは真実でない; fact11 -> int2: もしもその保護施設が粟であるしそれが御嵩むなら不安障害だということはない; fact14 -> int3: その保護施設が真面目過ぎるということはないとすれば御嵩むししかも遭遇である;
$facts$ = fact1: なにかは真面目過ぎるということはないなら御嵩むしその上遭遇である fact2: その保護施設は窄むかまたはそれはきな臭い fact3: その保護施設はセーフティネット貸し付けであるかあるいはそれは使い込む fact4: その保護施設は粟である fact5: 仮に粟が御嵩むならそれは不安障害だということはない fact6: なにかは不安障害でないとすれば「「吟ずるかまたはセーフティネット貸し付けであるかあるいは両方ともである」ということは事実だ」ということは嘘である fact7: その保護施設はセーフティネット貸し付けである fact8: その保護施設は万一であるかあるいはそれは吟ずるかどちらもだ fact9: この管轄登記所は吟ずる fact10: その保護施設は不安障害である ; $hypothesis$ = その保護施設は吟ずるかまたはセーフティネット貸し付けだ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: なにかは真面目過ぎるということはないなら御嵩むしその上遭遇である
事実2: その保護施設は窄むかまたはそれはきな臭い
事実3: その保護施設はセーフティネット貸し付けであるかあるいはそれは使い込む
事実4: その保護施設は粟である
事実5: 仮に粟が御嵩むならそれは不安障害だということはない
事実6: なにかは不安障害でないとすれば「「吟ずるかまたはセーフティネット貸し付けであるかあるいは両方ともである」ということは事実だ」ということは嘘である
事実7: その保護施設はセーフティネット貸し付けである
事実8: その保護施設は万一であるかあるいはそれは吟ずるかどちらもだ
事実9: この管轄登記所は吟ずる
事実10: その保護施設は不安障害である

仮説: その保護施設は吟ずるかまたはセーフティネット貸し付けだ
1. 事実7から、仮説が導かれる

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