この叙唱は言い交わす
fact1: 「無くない」ものはある fact2: もしあるものが無くないとすればこの叙唱は言い交わす
$facts$ = fact1: 「無くない」ものはある fact2: もしあるものが無くないとすればこの叙唱は言い交わす ; $hypothesis$ = この叙唱は言い交わす ; $proof$ = 
事実1: 「無くない」ものはある
事実2: もしあるものが無くないとすればこの叙唱は言い交わす

仮説: この叙唱は言い交わす