「この御城坊主は熱くないけれどごちゃごちゃする」ということは嘘である
fact1: 「全てのものは熱くないけどごちゃごちゃする」ということは本当だ
$facts$ = fact1: 「全てのものは熱くないけどごちゃごちゃする」ということは本当だ ; $hypothesis$ = 「この御城坊主は熱くないけれどごちゃごちゃする」ということは嘘である ; $proof$ = 
事実1: 「全てのものは熱くないけどごちゃごちゃする」ということは本当だ

仮説: 「この御城坊主は熱くないけれどごちゃごちゃする」ということは嘘である