あのもなもちょLv.15は母親らしいし甘辛い
fact1: 仮にこのぷにょぷよLv.32が脱却するとしたら定義出来る fact2: そのもちゅもにゃLv.6は馴染み易いなら「そのもちゅもにゃLv.6は潔い」ということは正しい fact3: もしもこのぷにょぷよLv.32が定義出来るとしたらそのみくみにょLv.45はこっ酷い fact4: 「このぷにょぷよLv.32は脱却する」ということは偽でない fact5: もし仮にあのもなもちょLv.15が馴染み易いとすれば母親らしい fact6: もし仮にそのみくみにょLv.45がこっ酷いとすればあのもなもちょLv.15は馴染み易い fact7: あのもなもちょLv.15は甘辛い
fact1 & fact4 -> int1: このぷにょぷよLv.32は定義出来る; int1 & fact3 -> int2: そのみくみにょLv.45はこっ酷い; int2 & fact6 -> int3: あのもなもちょLv.15は馴染み易い; int3 & fact5 -> int4: あのもなもちょLv.15は母親らしい; int4 & fact7 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{c}; int3 & fact5 -> int4: {E}{c}; int4 & fact7 -> hypothesis;
$facts$ = fact1: 仮にこのぷにょぷよLv.32が脱却するとしたら定義出来る fact2: そのもちゅもにゃLv.6は馴染み易いなら「そのもちゅもにゃLv.6は潔い」ということは正しい fact3: もしもこのぷにょぷよLv.32が定義出来るとしたらそのみくみにょLv.45はこっ酷い fact4: 「このぷにょぷよLv.32は脱却する」ということは偽でない fact5: もし仮にあのもなもちょLv.15が馴染み易いとすれば母親らしい fact6: もし仮にそのみくみにょLv.45がこっ酷いとすればあのもなもちょLv.15は馴染み易い fact7: あのもなもちょLv.15は甘辛い ; $hypothesis$ = あのもなもちょLv.15は母親らしいし甘辛い ; $proof$ = 
fact1 & fact4 -> int1: このぷにょぷよLv.32は定義出来る; int1 & fact3 -> int2: そのみくみにょLv.45はこっ酷い; int2 & fact6 -> int3: あのもなもちょLv.15は馴染み易い; int3 & fact5 -> int4: あのもなもちょLv.15は母親らしい; int4 & fact7 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{c}; int3 & fact5 -> int4: {E}{c}; int4 & fact7 -> hypothesis; __PROVED__