「その澱粉質は伸び続けないけど公共用だ」ということは成り立たない
fact1: その澱粉質は心強くない fact2: その澱粉質は成体内でない fact3: もしもその澱粉質が心強くないなら公共用だ fact4: もしもその澱粉質が心強くないならばそれは伸び続けるということはない一方で公共用だ fact5: あの拝啓は心強くない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: その澱粉質は心強くない fact2: その澱粉質は成体内でない fact3: もしもその澱粉質が心強くないなら公共用だ fact4: もしもその澱粉質が心強くないならばそれは伸び続けるということはない一方で公共用だ fact5: あの拝啓は心強くない ; $hypothesis$ = 「その澱粉質は伸び続けないけど公共用だ」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: その澱粉質は心強くない
事実2: その澱粉質は成体内でない
事実3: もしもその澱粉質が心強くないなら公共用だ
事実4: もしもその澱粉質が心強くないならばそれは伸び続けるということはない一方で公共用だ
事実5: あの拝啓は心強くない

仮説: 「その澱粉質は伸び続けないけど公共用だ」ということは成り立たない
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。