その多機能性は壊れ易くない
fact1: あの闇飲みは再計算するかあるいはライブラリーであるかもしくは両方である fact2: 仮に「あの闇飲みはライブラリーだ」ということは確かならその多機能性は壊れ易くない fact3: もしもあの闇飲みは再計算すれば「その多機能性は壊れ易いということはない」ということは事実である
$facts$ = fact1: あの闇飲みは再計算するかあるいはライブラリーであるかもしくは両方である fact2: 仮に「あの闇飲みはライブラリーだ」ということは確かならその多機能性は壊れ易くない fact3: もしもあの闇飲みは再計算すれば「その多機能性は壊れ易いということはない」ということは事実である ; $hypothesis$ = その多機能性は壊れ易くない ; $proof$ = 
事実1: あの闇飲みは再計算するかあるいはライブラリーであるかもしくは両方である
事実2: 仮に「あの闇飲みはライブラリーだ」ということは確かならその多機能性は壊れ易くない
事実3: もしもあの闇飲みは再計算すれば「その多機能性は壊れ易いということはない」ということは事実である

仮説: その多機能性は壊れ易くない