保ち易いということは生じない
fact1: 「浄化することは発生しない」ということは保ち易いということと粘り強いということが起きるに繋がる fact2: 怖いということおよび紹介することが発生するは「香ばしいということは生じない」ということにもたらされる fact3: 怖いということおよび香ばしいということどちらもが発生する fact4: 保ち易いということは程無いということに阻止される fact5: 懐っこいということが発生する fact6: 「怖いということが起こるかもしくは程無いということが生じるかあるいは両方ともだ」ということは保ち易いということは生じないということを招く
fact3 -> int1: 怖いということが発生する; int1 -> int2: 怖いということが起こるかまたは程無いということが起こる; int2 & fact6 -> hypothesis;
fact3 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact6 -> hypothesis;
紹介することが生じる
$facts$ = fact1: 「浄化することは発生しない」ということは保ち易いということと粘り強いということが起きるに繋がる fact2: 怖いということおよび紹介することが発生するは「香ばしいということは生じない」ということにもたらされる fact3: 怖いということおよび香ばしいということどちらもが発生する fact4: 保ち易いということは程無いということに阻止される fact5: 懐っこいということが発生する fact6: 「怖いということが起こるかもしくは程無いということが生じるかあるいは両方ともだ」ということは保ち易いということは生じないということを招く ; $hypothesis$ = 保ち易いということは生じない ; $proof$ = 
fact3 -> int1: 怖いということが発生する; int1 -> int2: 怖いということが起こるかまたは程無いということが起こる; int2 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact6 -> hypothesis; __PROVED__