「その御ばあさんは熟れ切らないけど勿体無い」ということは成り立たない
fact1: その御ばあさんはピストンだ fact2: もし「その御ばあさんはピストンである」ということは間違っていないとすればそれは熟れ切らないがしかし勿体無い
$facts$ = fact1: その御ばあさんはピストンだ fact2: もし「その御ばあさんはピストンである」ということは間違っていないとすればそれは熟れ切らないがしかし勿体無い ; $hypothesis$ = 「その御ばあさんは熟れ切らないけど勿体無い」ということは成り立たない ; $proof$ = 
事実1: その御ばあさんはピストンだ
事実2: もし「その御ばあさんはピストンである」ということは間違っていないとすればそれは熟れ切らないがしかし勿体無い

仮説: 「その御ばあさんは熟れ切らないけど勿体無い」ということは成り立たない