このぽのぽゆLv.53はダウンロードしない
fact1: このぴにょぴくLv.26は冬越しする fact2: 仮にこのぴにょぴくLv.26が冬越しするならそれは決定し得る fact3: もし仮にこのぽのぽゆLv.53が冬越しするとすればこのぴにょぴくLv.26はダウンロードする fact4: もし仮にこのぴにょぴくLv.26が冬越しすれば苦し fact5: 仮にこのぴにょぴくLv.26が決定し得るならこのぽのぽゆLv.53はダウンロードする
fact2 & fact1 -> int1: このぴにょぴくLv.26は決定し得る; int1 & fact5 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: このぴにょぴくLv.26は冬越しする fact2: 仮にこのぴにょぴくLv.26が冬越しするならそれは決定し得る fact3: もし仮にこのぽのぽゆLv.53が冬越しするとすればこのぴにょぴくLv.26はダウンロードする fact4: もし仮にこのぴにょぴくLv.26が冬越しすれば苦し fact5: 仮にこのぴにょぴくLv.26が決定し得るならこのぽのぽゆLv.53はダウンロードする ; $hypothesis$ = このぽのぽゆLv.53はダウンロードしない ; $proof$ = 
fact2 & fact1 -> int1: このぴにょぴくLv.26は決定し得る; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__