齎し易いということが起こる
fact1: 仮に悲しむことは起きないとすれば齎し易いということおよび御高いということが生じる fact2: 揃えることが発生しないということは提示することおよび運悪いということは発生するがきっかけだ fact3: 御高いということは発生しない fact4: 「まねまねLv.87事件は発生する一方でぴいぴゆLv.56事件は発生しない」ということは齎し易いということを防ぐ fact5: 「ぴいぴゆLv.56事件は起こらない」ということは確かだ fact6: 「御高いということは生じない」ということは「ぴいぴゆLv.56事件は起きない」ということに繋がる fact7: 「御高いということは起こらない」ということは「まねまねLv.87事件が起きるけれどぴいぴゆLv.56事件は発生しない」ということを引き起こす
fact7 & fact3 -> int1: まねまねLv.87事件は発生するがぴいぴゆLv.56事件は起きない; int1 & fact4 -> hypothesis;
fact7 & fact3 -> int1: ({AA} & ¬{AB}); int1 & fact4 -> hypothesis;
齎し易いということが起こる
$facts$ = fact1: 仮に悲しむことは起きないとすれば齎し易いということおよび御高いということが生じる fact2: 揃えることが発生しないということは提示することおよび運悪いということは発生するがきっかけだ fact3: 御高いということは発生しない fact4: 「まねまねLv.87事件は発生する一方でぴいぴゆLv.56事件は発生しない」ということは齎し易いということを防ぐ fact5: 「ぴいぴゆLv.56事件は起こらない」ということは確かだ fact6: 「御高いということは生じない」ということは「ぴいぴゆLv.56事件は起きない」ということに繋がる fact7: 「御高いということは起こらない」ということは「まねまねLv.87事件が起きるけれどぴいぴゆLv.56事件は発生しない」ということを引き起こす ; $hypothesis$ = 齎し易いということが起こる ; $proof$ = 
fact7 & fact3 -> int1: まねまねLv.87事件は発生するがぴいぴゆLv.56事件は起きない; int1 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: ({AA} & ¬{AB}); int1 & fact4 -> hypothesis; __DISPROVED__