「もし仮に「このＢＭＰ形式はコミットしないけれど甘ーい」ということは偽であるとすればこのＢＭＰ形式は操舵感でない」ということは確かである
fact1: もし「何らかの物はコミットしない一方で甘ーい」ということは成り立たないとするとそれは操舵感でない
$facts$ = fact1: もし「何らかの物はコミットしない一方で甘ーい」ということは成り立たないとするとそれは操舵感でない ; $hypothesis$ = 「もし仮に「このＢＭＰ形式はコミットしないけれど甘ーい」ということは偽であるとすればこのＢＭＰ形式は操舵感でない」ということは確かである ; $proof$ = 
事実1: もし「何らかの物はコミットしない一方で甘ーい」ということは成り立たないとするとそれは操舵感でない

仮説: 「もし仮に「このＢＭＰ形式はコミットしないけれど甘ーい」ということは偽であるとすればこのＢＭＰ形式は操舵感でない」ということは確かである