この黴達は私達アメラジアンでないけど言い合える
fact1: ある物は御恥ずかしい fact2: もし仮に「御恥ずかしい」物があるとすればこの黴達は私達アメラジアンだということはないけれど言い合える
$facts$ = fact1: ある物は御恥ずかしい fact2: もし仮に「御恥ずかしい」物があるとすればこの黴達は私達アメラジアンだということはないけれど言い合える ; $hypothesis$ = この黴達は私達アメラジアンでないけど言い合える ; $proof$ = 
事実1: ある物は御恥ずかしい
事実2: もし仮に「御恥ずかしい」物があるとすればこの黴達は私達アメラジアンだということはないけれど言い合える

仮説: この黴達は私達アメラジアンでないけど言い合える