この参与は食すということはないしさらに二百四十六項でない
fact1: 「この参与は食すないしおまけに二百四十六項でない」ということは成り立たない
$facts$ = fact1: 「この参与は食すないしおまけに二百四十六項でない」ということは成り立たない ; $hypothesis$ = この参与は食すということはないしさらに二百四十六項でない ; $proof$ = 
事実1: 「この参与は食すないしおまけに二百四十六項でない」ということは成り立たない

仮説: この参与は食すということはないしさらに二百四十六項でない