危ういということは生じない
fact1: 愚かしいということおよび熱苦しいということどちらもが生じる fact2: 愚かしいということかもしくは了承することは恙無いということを阻む
fact1 -> int1: 愚かしいということが発生する; int1 -> int2: 愚かしいということは発生するか了承することは発生するかもしくは両方だ; int2 & fact2 -> int3: 恙無いということは発生しない;
fact1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact2 -> int3: ¬{D};
$facts$ = fact1: 愚かしいということおよび熱苦しいということどちらもが生じる fact2: 愚かしいということかもしくは了承することは恙無いということを阻む ; $hypothesis$ = 危ういということは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__