「あの麦御飯は想像し難くないし喜び歌わない」ということは正しいということはない
fact1: 「もしあの麦御飯が持ち前でないならばあの麦御飯は想像し難いということはなくて更に喜び歌わない」ということは成り立つ fact2: あの麦御飯は持ち前でない
$facts$ = fact1: 「もしあの麦御飯が持ち前でないならばあの麦御飯は想像し難いということはなくて更に喜び歌わない」ということは成り立つ fact2: あの麦御飯は持ち前でない ; $hypothesis$ = 「あの麦御飯は想像し難くないし喜び歌わない」ということは正しいということはない ; $proof$ = 
事実1: 「もしあの麦御飯が持ち前でないならばあの麦御飯は想像し難いということはなくて更に喜び歌わない」ということは成り立つ
事実2: あの麦御飯は持ち前でない

仮説: 「あの麦御飯は想像し難くないし喜び歌わない」ということは正しいということはない