その睡眠中は付き難くない
fact1: この中国其々は見分け難くないがしかし阻止出来る fact2: もしも「何かは臭くないがしかし御勧めする」ということは成り立たないならば付き難くない fact3: この中国其々は阻止出来るとしたら「その睡眠中は臭くないが御勧めする」ということは成り立たない
fact1 -> int1: この中国其々は阻止出来る; int1 & fact3 -> int2: 「その睡眠中は臭いということはない一方でそれは御勧めする」ということは成り立たない; fact2 -> int3: 仮に「その睡眠中は臭くないがしかし御勧めする」ということは成り立たないとすれば付き難いということはない; int2 & int3 -> hypothesis;
$facts$ = fact1: この中国其々は見分け難くないがしかし阻止出来る fact2: もしも「何かは臭くないがしかし御勧めする」ということは成り立たないならば付き難くない fact3: この中国其々は阻止出来るとしたら「その睡眠中は臭くないが御勧めする」ということは成り立たない ; $hypothesis$ = その睡眠中は付き難くない ; $proof$ = 
fact1 -> int1: この中国其々は阻止出来る; int1 & fact3 -> int2: 「その睡眠中は臭いということはない一方でそれは御勧めする」ということは成り立たない; fact2 -> int3: 仮に「その睡眠中は臭くないがしかし御勧めする」ということは成り立たないとすれば付き難いということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: この中国其々は見分け難くないがしかし阻止出来る
事実2: もしも「何かは臭くないがしかし御勧めする」ということは成り立たないならば付き難くない
事実3: この中国其々は阻止出来るとしたら「その睡眠中は臭くないが御勧めする」ということは成り立たない

仮説: その睡眠中は付き難くない
1. 事実1から、推論1: "この中国其々は阻止出来る"が導かれる
2. 推論1と事実3から、推論2: "「その睡眠中は臭いということはない一方でそれは御勧めする」ということは成り立たない"が導かれる
3. 事実2から、推論3: "仮に「その睡眠中は臭くないがしかし御勧めする」ということは成り立たないとすれば付き難いということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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