このネイルサロンは性分らしくない
fact1: もしもこのネイルサロンが剥がしないけど括り付けるとするとこのアメリカざりがには括り付けない fact2: もしもこのアメリカざりがにが入れ為さるしそれが失策だとするとこのネイルサロンは纏まり易くない fact3: このアメリカざりがにはマクロレベルであるししかもそれは纏まり易い fact4: もしなんらかのものが纏まり易くないとするとそれは性分らしい fact5: このアメリカざりがには性分らしい fact6: 焚き火が剥はしないけれど括り付ける fact7: このアメリカざりがには入れ為さる fact8: このアメリカざりがには入れ為さるし失策だ fact9: もし仮にこのアメリカざりがにが括り付けないならその今渡地点は纏まり易いしそれに性分らしい fact10: このアメリカざりがには入れ為さるし加えて性分らしい fact11: このネイルサロンは入れ為さる
fact2 & fact8 -> int1: このネイルサロンは纏まり易くない; fact4 -> int2: もしこのネイルサロンが纏まり易くないならそれは性分らしい; int1 & int2 -> hypothesis;
その今渡地点は纏まり易い
fact12 -> int3: もしもこのネイルサロンが焚き火ならばそれが剥はしないがしかし括り付ける;
$facts$ = fact1: もしもこのネイルサロンが剥がしないけど括り付けるとするとこのアメリカざりがには括り付けない fact2: もしもこのアメリカざりがにが入れ為さるしそれが失策だとするとこのネイルサロンは纏まり易くない fact3: このアメリカざりがにはマクロレベルであるししかもそれは纏まり易い fact4: もしなんらかのものが纏まり易くないとするとそれは性分らしい fact5: このアメリカざりがには性分らしい fact6: 焚き火が剥はしないけれど括り付ける fact7: このアメリカざりがには入れ為さる fact8: このアメリカざりがには入れ為さるし失策だ fact9: もし仮にこのアメリカざりがにが括り付けないならその今渡地点は纏まり易いしそれに性分らしい fact10: このアメリカざりがには入れ為さるし加えて性分らしい fact11: このネイルサロンは入れ為さる ; $hypothesis$ = このネイルサロンは性分らしくない ; $proof$ = 
fact2 & fact8 -> int1: このネイルサロンは纏まり易くない; fact4 -> int2: もしこのネイルサロンが纏まり易くないならそれは性分らしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこのネイルサロンが剥がしないけど括り付けるとするとこのアメリカざりがには括り付けない
事実2: もしもこのアメリカざりがにが入れ為さるしそれが失策だとするとこのネイルサロンは纏まり易くない
事実3: このアメリカざりがにはマクロレベルであるししかもそれは纏まり易い
事実4: もしなんらかのものが纏まり易くないとするとそれは性分らしい
事実5: このアメリカざりがには性分らしい
事実6: 焚き火が剥はしないけれど括り付ける
事実7: このアメリカざりがには入れ為さる
事実8: このアメリカざりがには入れ為さるし失策だ
事実9: もし仮にこのアメリカざりがにが括り付けないならその今渡地点は纏まり易いしそれに性分らしい
事実10: このアメリカざりがには入れ為さるし加えて性分らしい
事実11: このネイルサロンは入れ為さる

仮説: このネイルサロンは性分らしくない
1. 事実2と事実8から、推論1: "このネイルサロンは纏まり易くない"が導かれる
2. 事実4から、推論2: "もしこのネイルサロンが纏まり易くないならそれは性分らしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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