大袈裟過ぎることは起きない
fact1: 「淀み無いということは発生しない」ということは請求し得ることに防がれる fact2: 請求し得ることが起こる fact3: 「大袈裟過ぎることは起こらない」ということは「淀み無いということおよび見れること両方ともが生じる」ということにより発生する fact4: 「見れることが生じるけど切り易いということは起こらない」ということは淀み無いということは起きないということに繋がる
fact1 & fact2 -> int1: 淀み無いということが発生する;
fact1 & fact2 -> int1: {B};
大袈裟過ぎることが起きる
$facts$ = fact1: 「淀み無いということは発生しない」ということは請求し得ることに防がれる fact2: 請求し得ることが起こる fact3: 「大袈裟過ぎることは起こらない」ということは「淀み無いということおよび見れること両方ともが生じる」ということにより発生する fact4: 「見れることが生じるけど切り易いということは起こらない」ということは淀み無いということは起きないということに繋がる ; $hypothesis$ = 大袈裟過ぎることは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__