「もし仮に「焼成するしさらにサリー・リンである」ということは誤っているなら取得し易くない」物はある
fact1: 「あのガッツは焼成するし更にサリー・リンである」ということは偽であるとすると「取得し易くない」ということは嘘でない fact2: もしもあのガッツは焼成するしおまけにサリー・リンだとすれば取得し易くない fact3: 「あのガッツは混交するしかつ焼成する」ということは嘘であるとすると心行く fact4: もしも「あのガッツは焼成しない」ということは事実であるとすればそれは取得し易くない fact5: もしも「とあるものは偏り易くてさらに神前である」ということは成り立たないならば食事管理でない fact6: もし仮に「その預け入れ金利はサリー・リンであるしそれは自分らしい」ということは誤っているとするとそれは言い張るということはない fact7: 「もし「焼成するしおまけにサリー・リンだ」ということは誤っているなら取得し易い」物はある fact8: 「もし仮に焼成するしサリー・リンであるなら「「取得し易い」ということは真実だ」ということは成り立たない」ものはある fact9: 「「仮にサリー・リンでないとすれば取得し易くない」物はある」ということは偽でない
fact1 -> hypothesis;
「もし仮に「偏り易くてかつ神前である」ということは間違っているとすると食事管理でない」物はある
fact10 -> int1: もし仮に「この上記は偏り易いしその上神前だ」ということは嘘であるとしたら食事管理でない; int1 -> hypothesis;
$facts$ = fact1: 「あのガッツは焼成するし更にサリー・リンである」ということは偽であるとすると「取得し易くない」ということは嘘でない fact2: もしもあのガッツは焼成するしおまけにサリー・リンだとすれば取得し易くない fact3: 「あのガッツは混交するしかつ焼成する」ということは嘘であるとすると心行く fact4: もしも「あのガッツは焼成しない」ということは事実であるとすればそれは取得し易くない fact5: もしも「とあるものは偏り易くてさらに神前である」ということは成り立たないならば食事管理でない fact6: もし仮に「その預け入れ金利はサリー・リンであるしそれは自分らしい」ということは誤っているとするとそれは言い張るということはない fact7: 「もし「焼成するしおまけにサリー・リンだ」ということは誤っているなら取得し易い」物はある fact8: 「もし仮に焼成するしサリー・リンであるなら「「取得し易い」ということは真実だ」ということは成り立たない」ものはある fact9: 「「仮にサリー・リンでないとすれば取得し易くない」物はある」ということは偽でない ; $hypothesis$ = 「もし仮に「焼成するしさらにサリー・リンである」ということは誤っているなら取得し易くない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「あのガッツは焼成するし更にサリー・リンである」ということは偽であるとすると「取得し易くない」ということは嘘でない
事実2: もしもあのガッツは焼成するしおまけにサリー・リンだとすれば取得し易くない
事実3: 「あのガッツは混交するしかつ焼成する」ということは嘘であるとすると心行く
事実4: もしも「あのガッツは焼成しない」ということは事実であるとすればそれは取得し易くない
事実5: もしも「とあるものは偏り易くてさらに神前である」ということは成り立たないならば食事管理でない
事実6: もし仮に「その預け入れ金利はサリー・リンであるしそれは自分らしい」ということは誤っているとするとそれは言い張るということはない
事実7: 「もし「焼成するしおまけにサリー・リンだ」ということは誤っているなら取得し易い」物はある
事実8: 「もし仮に焼成するしサリー・リンであるなら「「取得し易い」ということは真実だ」ということは成り立たない」ものはある
事実9: 「「仮にサリー・リンでないとすれば取得し易くない」物はある」ということは偽でない

仮説: 「もし仮に「焼成するしさらにサリー・リンである」ということは誤っているなら取得し易くない」物はある
1. 事実1から、仮説が導かれる

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