「もしも「その総コレステロール値は看過し難いけれどシミュレートしない」ということは嘘であるとするとその総コレステロール値は誘拐しない」ということは事実でない
fact1: もし仮に「なにかは看過し難いがしかしシミュレートしない」ということは偽だとすれば誘拐するということはない
$facts$ = fact1: もし仮に「なにかは看過し難いがしかしシミュレートしない」ということは偽だとすれば誘拐するということはない ; $hypothesis$ = 「もしも「その総コレステロール値は看過し難いけれどシミュレートしない」ということは嘘であるとするとその総コレステロール値は誘拐しない」ということは事実でない ; $proof$ = 
事実1: もし仮に「なにかは看過し難いがしかしシミュレートしない」ということは偽だとすれば誘拐するということはない

仮説: 「もしも「その総コレステロール値は看過し難いけれどシミュレートしない」ということは嘘であるとするとその総コレステロール値は誘拐しない」ということは事実でない