その集中形式は入れ易い
fact1: もしとある物が双葉でないとすると接近し易いしまたそれは浅ましい fact2: その集中形式は入れ易い fact3: 仮に「「その生活記録ノートは双葉でないかあるいはそれは外国産であるかあるいはどちらもだ」ということは成り立たない」ということは確かであるならば「その集中形式は双葉でない」ということは間違っていない fact4: その集中形式は浅ましいならば「そのリバーブは入れ易い」ということは事実である
fact2 -> hypothesis;
fact2 -> hypothesis;
そのリバーブは入れ易い
fact7 -> int1: もしその集中形式は双葉でないならば接近し易いしそれに浅ましい;
$facts$ = fact1: もしとある物が双葉でないとすると接近し易いしまたそれは浅ましい fact2: その集中形式は入れ易い fact3: 仮に「「その生活記録ノートは双葉でないかあるいはそれは外国産であるかあるいはどちらもだ」ということは成り立たない」ということは確かであるならば「その集中形式は双葉でない」ということは間違っていない fact4: その集中形式は浅ましいならば「そのリバーブは入れ易い」ということは事実である ; $hypothesis$ = その集中形式は入れ易い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしとある物が双葉でないとすると接近し易いしまたそれは浅ましい
事実2: その集中形式は入れ易い
事実3: 仮に「「その生活記録ノートは双葉でないかあるいはそれは外国産であるかあるいはどちらもだ」ということは成り立たない」ということは確かであるならば「その集中形式は双葉でない」ということは間違っていない
事実4: その集中形式は浅ましいならば「そのリバーブは入れ易い」ということは事実である

仮説: その集中形式は入れ易い
1. 事実2から、仮説が導かれる

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