あの通変論は膨らみ切るがグリセロールでない
fact1: あの通変論は口約束である fact2: もしあの通変論は口約束であるとすると「それは膨らみ切るし更にそれはグリセロールだということはない」ということは成り立たない
$facts$ = fact1: あの通変論は口約束である fact2: もしあの通変論は口約束であるとすると「それは膨らみ切るし更にそれはグリセロールだということはない」ということは成り立たない ; $hypothesis$ = あの通変論は膨らみ切るがグリセロールでない ; $proof$ = 
事実1: あの通変論は口約束である
事実2: もしあの通変論は口約束であるとすると「それは膨らみ切るし更にそれはグリセロールだということはない」ということは成り立たない

仮説: あの通変論は膨らみ切るがグリセロールでない