このぴちょぴにょLv.49は徒らっぽいしそれにそれは所管する
fact1: このぴちょぴにょLv.49は違くない fact2: 仮にこのぴちょぴにょLv.49が違いということはないならばこのみくみゆLv.66は徒らっぽくてまた長ーい fact3: このぴちょぴにょLv.49は嫌らしいし期し難い fact4: このぴちょぴにょLv.49は所管する fact5: 仮にこのぴちょぴにょLv.49が嫌らしいならこのぴちょぴにょLv.49は徒らっぽい
fact3 -> int1: このぴちょぴにょLv.49は嫌らしい; int1 & fact5 -> int2: このぴちょぴにょLv.49は徒らっぽい; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
このみくみゆLv.66が長ーいしその上それは期し難い
fact7 & fact6 -> int3: このみくみゆLv.66は徒らっぽいしかつ長ーい; int3 -> int4: このみくみゆLv.66は長ーい;
$facts$ = fact1: このぴちょぴにょLv.49は違くない fact2: 仮にこのぴちょぴにょLv.49が違いということはないならばこのみくみゆLv.66は徒らっぽくてまた長ーい fact3: このぴちょぴにょLv.49は嫌らしいし期し難い fact4: このぴちょぴにょLv.49は所管する fact5: 仮にこのぴちょぴにょLv.49が嫌らしいならこのぴちょぴにょLv.49は徒らっぽい ; $hypothesis$ = このぴちょぴにょLv.49は徒らっぽいしそれにそれは所管する ; $proof$ = 
fact3 -> int1: このぴちょぴにょLv.49は嫌らしい; int1 & fact5 -> int2: このぴちょぴにょLv.49は徒らっぽい; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__