このもゆもにょLv.43は転び易くない
fact1: もし仮に「このぽわぽえLv.94は馴染み深い」ということは確かだとするとこのぽわぽえLv.94は泣き疲れる fact2: このぽわぽえLv.94は馴染み深い fact3: もしもこのぽわぽえLv.94が泣き疲れるとすればこのぽにょぽちゃLv.36は馴染み易い fact4: 仮にこのぽにょぽちゃLv.36が馴染み易いならこのもゆもにょLv.43は転び易い
fact1 & fact2 -> int1: このぽわぽえLv.94は泣き疲れる; int1 & fact3 -> int2: このぽにょぽちゃLv.36は馴染み易い; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮に「このぽわぽえLv.94は馴染み深い」ということは確かだとするとこのぽわぽえLv.94は泣き疲れる fact2: このぽわぽえLv.94は馴染み深い fact3: もしもこのぽわぽえLv.94が泣き疲れるとすればこのぽにょぽちゃLv.36は馴染み易い fact4: 仮にこのぽにょぽちゃLv.36が馴染み易いならこのもゆもにょLv.43は転び易い ; $hypothesis$ = このもゆもにょLv.43は転び易くない ; $proof$ = 
fact1 & fact2 -> int1: このぽわぽえLv.94は泣き疲れる; int1 & fact3 -> int2: このぽにょぽちゃLv.36は馴染み易い; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__