やくざっぽいということが起きる
fact1: 「書き入れることが起きる一方で切れ易いということは起きない」ということは外し易いということを回避する fact2: 外し易いということが発生する fact3: 押し退けることが起こる fact4: 小さいということが生じる fact5: やくざっぽいということは「押し退けることが起こるし外し易いということが起きる」ということに阻止される fact6: まやまよLv.18事件は起きない fact7: もし外し易いということは起こらないならやくざっぽいということおよび押し退けることどちらもが発生する
fact3 & fact2 -> int1: 押し退けることと外し易いということが起きる; int1 & fact5 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis;
やくざっぽいということが起きる
$facts$ = fact1: 「書き入れることが起きる一方で切れ易いということは起きない」ということは外し易いということを回避する fact2: 外し易いということが発生する fact3: 押し退けることが起こる fact4: 小さいということが生じる fact5: やくざっぽいということは「押し退けることが起こるし外し易いということが起きる」ということに阻止される fact6: まやまよLv.18事件は起きない fact7: もし外し易いということは起こらないならやくざっぽいということおよび押し退けることどちらもが発生する ; $hypothesis$ = やくざっぽいということが起きる ; $proof$ = 
fact3 & fact2 -> int1: 押し退けることと外し易いということが起きる; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis; __DISPROVED__