「「もし一部取り消しでないがしかしラーメンだとすると仲睦まじい」物はある」ということは正しくない
fact1: その仲間外れは一部取り消しでないがラーメンだとするとそれは仲睦まじい
$facts$ = fact1: その仲間外れは一部取り消しでないがラーメンだとするとそれは仲睦まじい ; $hypothesis$ = 「「もし一部取り消しでないがしかしラーメンだとすると仲睦まじい」物はある」ということは正しくない ; $proof$ = 
事実1: その仲間外れは一部取り消しでないがラーメンだとするとそれは仲睦まじい

仮説: 「「もし一部取り消しでないがしかしラーメンだとすると仲睦まじい」物はある」ということは正しくない