「仮に繁殖し易くないとすれば「交錯しなくて倹約出来る」ということは偽である」物はある
fact1: 仮に何かは繁殖し易くないならばそれは交錯しないけれど倹約出来る fact2: もしも何らかの物は繁殖し易くないなら「交錯しないがしかし倹約出来る」ということは成り立たない fact3: 「もしマリネするということはないなら「悩むしシシャモだ」ということは嘘な」ものはある
fact2 -> int1: もし仮にこの効用価値説は繁殖し易いということはないならば「それは交錯しないが倹約出来る」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 仮に何かは繁殖し易くないならばそれは交錯しないけれど倹約出来る fact2: もしも何らかの物は繁殖し易くないなら「交錯しないがしかし倹約出来る」ということは成り立たない fact3: 「もしマリネするということはないなら「悩むしシシャモだ」ということは嘘な」ものはある ; $hypothesis$ = 「仮に繁殖し易くないとすれば「交錯しなくて倹約出来る」ということは偽である」物はある ; $proof$ = 
fact2 -> int1: もし仮にこの効用価値説は繁殖し易いということはないならば「それは交錯しないが倹約出来る」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 仮に何かは繁殖し易くないならばそれは交錯しないけれど倹約出来る
事実2: もしも何らかの物は繁殖し易くないなら「交錯しないがしかし倹約出来る」ということは成り立たない
事実3: 「もしマリネするということはないなら「悩むしシシャモだ」ということは嘘な」ものはある

仮説: 「仮に繁殖し易くないとすれば「交錯しなくて倹約出来る」ということは偽である」物はある
1. 事実2から、推論1: "もし仮にこの効用価値説は繁殖し易いということはないならば「それは交錯しないが倹約出来る」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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