「あのソリッド・ボディは感作するし加えてそれは口付ける」ということは成り立たない
fact1: もし仮に何かは言い返すということはないとしたら変化し易いしそれにそれは感作する fact2: もしも「あのハンチ部分は感作しない」ということは事実であるならば「あのソリッド・ボディは口付けるし変化し易い」ということは成り立たない fact3: あのハンチ部分は変化し易くないとしたら「あのソリッド・ボディは感作するしそれは口付ける」ということは成り立たない fact4: あのハンチ部分は変化し易くない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
あのソリッド・ボディは感作するしおまけに口付ける
fact5 -> int1: あのソリッド・ボディが言い返さないとするとそれは変化し易いし感作する;
$facts$ = fact1: もし仮に何かは言い返すということはないとしたら変化し易いしそれにそれは感作する fact2: もしも「あのハンチ部分は感作しない」ということは事実であるならば「あのソリッド・ボディは口付けるし変化し易い」ということは成り立たない fact3: あのハンチ部分は変化し易くないとしたら「あのソリッド・ボディは感作するしそれは口付ける」ということは成り立たない fact4: あのハンチ部分は変化し易くない ; $hypothesis$ = 「あのソリッド・ボディは感作するし加えてそれは口付ける」ということは成り立たない ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に何かは言い返すということはないとしたら変化し易いしそれにそれは感作する
事実2: もしも「あのハンチ部分は感作しない」ということは事実であるならば「あのソリッド・ボディは口付けるし変化し易い」ということは成り立たない
事実3: あのハンチ部分は変化し易くないとしたら「あのソリッド・ボディは感作するしそれは口付ける」ということは成り立たない
事実4: あのハンチ部分は変化し易くない

仮説: 「あのソリッド・ボディは感作するし加えてそれは口付ける」ということは成り立たない
1. 事実3と事実4から、仮説が導かれる

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