このもにゃもえLv.5は父親らしいし更に果てし無い
fact1: もし仮に「このもにゃもねLv.97は大人らしい」ということは確かならばこのもにゃもえLv.5は父親らしい fact2: このもにゃもねLv.97は程無い fact3: このもにゃもえLv.5は果てし無い fact4: このもにゃもねLv.97は大人らしいし程無い
fact4 -> int1: このもにゃもねLv.97は大人らしい; int1 & fact1 -> int2: このもにゃもえLv.5は父親らしい; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「このもにゃもねLv.97は大人らしい」ということは確かならばこのもにゃもえLv.5は父親らしい fact2: このもにゃもねLv.97は程無い fact3: このもにゃもえLv.5は果てし無い fact4: このもにゃもねLv.97は大人らしいし程無い ; $hypothesis$ = このもにゃもえLv.5は父親らしいし更に果てし無い ; $proof$ = 
fact4 -> int1: このもにゃもねLv.97は大人らしい; int1 & fact1 -> int2: このもにゃもえLv.5は父親らしい; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__