あの食事全体は本格物でない
fact1: もし「このカスタードは三等分しないがそれは御偉い」ということは成り立たないならあの食事全体は本格物でない fact2: 「このカスタードは三等分しないがしかし御偉い」ということは成り立たない
$facts$ = fact1: もし「このカスタードは三等分しないがそれは御偉い」ということは成り立たないならあの食事全体は本格物でない fact2: 「このカスタードは三等分しないがしかし御偉い」ということは成り立たない ; $hypothesis$ = あの食事全体は本格物でない ; $proof$ = 
事実1: もし「このカスタードは三等分しないがそれは御偉い」ということは成り立たないならあの食事全体は本格物でない
事実2: 「このカスタードは三等分しないがしかし御偉い」ということは成り立たない

仮説: あの食事全体は本格物でない