育ち難いということは発生しない
fact1: まにまえLv.78事件は起きない fact2: まにまえLv.78事件が起きないしその上拒み続けることは起こらない fact3: もし仮にまにまえLv.78事件が発生しないしおまけに拒み続けることは起こらないとすると育ち難いということが起きる
fact2 -> int1: まにまえLv.78事件が起きないしその上拒み続けることは起こらない; int1 & fact3 -> hypothesis;
fact2 -> int1: (¬{AA} & ¬{AB}); int1 & fact3 -> hypothesis;
$facts$ = fact1: まにまえLv.78事件は起きない fact2: まにまえLv.78事件が起きないしその上拒み続けることは起こらない fact3: もし仮にまにまえLv.78事件が発生しないしおまけに拒み続けることは起こらないとすると育ち難いということが起きる ; $hypothesis$ = 育ち難いということは発生しない ; $proof$ = 
fact2 -> int1: まにまえLv.78事件が起きないしその上拒み続けることは起こらない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA} & ¬{AB}); int1 & fact3 -> hypothesis; __DISPROVED__