仮にこのマンセルシステムが狡いとすれば恵み深くなくて走り易くない
fact1: 狡いものは恵み深くないしかつ走り易くない
$facts$ = fact1: 狡いものは恵み深くないしかつ走り易くない ; $hypothesis$ = 仮にこのマンセルシステムが狡いとすれば恵み深くなくて走り易くない ; $proof$ = 
事実1: 狡いものは恵み深くないしかつ走り易くない

仮説: 仮にこのマンセルシステムが狡いとすれば恵み深くなくて走り易くない