そのアルカンは不味くないしそれに役立てない
fact1: それは不味くないしまたそれは役立てないという物はない
$facts$ = fact1: それは不味くないしまたそれは役立てないという物はない ; $hypothesis$ = そのアルカンは不味くないしそれに役立てない ; $proof$ = 
事実1: それは不味くないしまたそれは役立てないという物はない

仮説: そのアルカンは不味くないしそれに役立てない