このもなもよLv.56は供奉するしそれに説教出来る
fact1: そのぴちょぴにLv.26は楽しい fact2: このもなもよLv.56は愛くるしいしその上懐こい fact3: このもなもよLv.56は説教出来る fact4: このもなもよLv.56は整理出来る fact5: 仮にこのもなもよLv.56が楽しいならこのもなもよLv.56は供奉する fact6: あのまちょまいLv.16は供奉する fact7: このもなもよLv.56は楽しいし整理出来る
fact7 -> int1: このもなもよLv.56は楽しい; int1 & fact5 -> int2: このもなもよLv.56は供奉する; int2 & fact3 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのぴちょぴにLv.26は楽しい fact2: このもなもよLv.56は愛くるしいしその上懐こい fact3: このもなもよLv.56は説教出来る fact4: このもなもよLv.56は整理出来る fact5: 仮にこのもなもよLv.56が楽しいならこのもなもよLv.56は供奉する fact6: あのまちょまいLv.16は供奉する fact7: このもなもよLv.56は楽しいし整理出来る ; $hypothesis$ = このもなもよLv.56は供奉するしそれに説教出来る ; $proof$ = 
fact7 -> int1: このもなもよLv.56は楽しい; int1 & fact5 -> int2: このもなもよLv.56は供奉する; int2 & fact3 -> hypothesis; __PROVED__
fact7 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__