あのぴわぴにょLv.40は淀み無くない
fact1: このぽねぽわLv.12は淀み無い fact2: もしもそのぽねぽちょLv.45は羨ましくないしかつ旨くないとするとそれは走り易い fact3: あのぴわぴにょLv.40は羨ましい fact4: そのぽねぽちょLv.45は羨ましくなくてその上旨くない fact5: 仮にえぐいモンスターが走り易くないとすればそれは淀み無いということはない fact6: もしもそのぽねぽちょLv.45が走り易いとすればあのぴわぴにょLv.40はえぐい fact7: 仮にあのぴわぴにょLv.40がえぐいとするとそれは淀み無い
fact2 & fact4 -> int1: 「そのぽねぽちょLv.45は走り易い」ということは正しい; int1 & fact6 -> int2: あのぴわぴにょLv.40はえぐい; int2 & fact7 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{b}; int2 & fact7 -> hypothesis;
あのぴわぴにょLv.40は淀み無くない
fact8 -> int3: もしもあのぴわぴにょLv.40はえぐい一方で走り易くないとしたらそれは淀み無くない;
$facts$ = fact1: このぽねぽわLv.12は淀み無い fact2: もしもそのぽねぽちょLv.45は羨ましくないしかつ旨くないとするとそれは走り易い fact3: あのぴわぴにょLv.40は羨ましい fact4: そのぽねぽちょLv.45は羨ましくなくてその上旨くない fact5: 仮にえぐいモンスターが走り易くないとすればそれは淀み無いということはない fact6: もしもそのぽねぽちょLv.45が走り易いとすればあのぴわぴにょLv.40はえぐい fact7: 仮にあのぴわぴにょLv.40がえぐいとするとそれは淀み無い ; $hypothesis$ = あのぴわぴにょLv.40は淀み無くない ; $proof$ = 
fact2 & fact4 -> int1: 「そのぽねぽちょLv.45は走り易い」ということは正しい; int1 & fact6 -> int2: あのぴわぴにょLv.40はえぐい; int2 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{b}; int2 & fact7 -> hypothesis; __DISPROVED__