このチキンスープは熟成する
fact1: 仮に「このチキンスープは変換式だけれど試算出来ない」ということは成り立たないとしたらそれは熟成する fact2: 「このチキンスープが変換式だけど試算出来ない」ということは偽である
$facts$ = fact1: 仮に「このチキンスープは変換式だけれど試算出来ない」ということは成り立たないとしたらそれは熟成する fact2: 「このチキンスープが変換式だけど試算出来ない」ということは偽である ; $hypothesis$ = このチキンスープは熟成する ; $proof$ = 
事実1: 仮に「このチキンスープは変換式だけれど試算出来ない」ということは成り立たないとしたらそれは熟成する
事実2: 「このチキンスープが変換式だけど試算出来ない」ということは偽である

仮説: このチキンスープは熟成する