あのぴねぴいLv.7は起こし難い
fact1: あのみにゃみにゅLv.94が懐っこくないならばあのぴねぴいLv.7は起こし難くないしおまけに御早くない fact2: 御早いモンスターは起こし難い fact3: あのぴねぴいLv.7は御早い fact4: 仮にあのぴねぴいLv.7が起こし難いならばに対して有る fact5: あのぴねぴいLv.7は信じ易い
fact2 -> int1: もしもあのぴねぴいLv.7が御早いとするとそれは起こし難い; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> hypothesis;
あのぴねぴいLv.7は起こし難くない
$facts$ = fact1: あのみにゃみにゅLv.94が懐っこくないならばあのぴねぴいLv.7は起こし難くないしおまけに御早くない fact2: 御早いモンスターは起こし難い fact3: あのぴねぴいLv.7は御早い fact4: 仮にあのぴねぴいLv.7が起こし難いならばに対して有る fact5: あのぴねぴいLv.7は信じ易い ; $hypothesis$ = あのぴねぴいLv.7は起こし難い ; $proof$ = 
fact2 -> int1: もしもあのぴねぴいLv.7が御早いとするとそれは起こし難い; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> hypothesis; __PROVED__