あのぷえぷいLv.73は通水する
fact1: もしもこのみにゃみわLv.38が養育するとすればこのみちゃみなLv.98はざける fact2: このみにゃみわLv.38は養育するかもしくは泥臭い fact3: もしこのみちゃみなLv.98がざけるならばこのみちゃみなLv.98は加熱調理する fact4: もし仮にこのみにゃみわLv.38が泥臭いならこのみちゃみなLv.98はざける fact5: もしこのみちゃみなLv.98が加熱調理するとすればあのぷえぷいLv.73は通水する
fact2 & fact1 & fact4 -> int1: このみちゃみなLv.98はざける; int1 & fact3 -> int2: このみちゃみなLv.98は加熱調理する; int2 & fact5 -> hypothesis;
fact2 & fact1 & fact4 -> int1: {C}{c}; int1 & fact3 -> int2: {D}{c}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もしもこのみにゃみわLv.38が養育するとすればこのみちゃみなLv.98はざける fact2: このみにゃみわLv.38は養育するかもしくは泥臭い fact3: もしこのみちゃみなLv.98がざけるならばこのみちゃみなLv.98は加熱調理する fact4: もし仮にこのみにゃみわLv.38が泥臭いならこのみちゃみなLv.98はざける fact5: もしこのみちゃみなLv.98が加熱調理するとすればあのぷえぷいLv.73は通水する ; $hypothesis$ = あのぷえぷいLv.73は通水する ; $proof$ = 
fact2 & fact1 & fact4 -> int1: このみちゃみなLv.98はざける; int1 & fact3 -> int2: このみちゃみなLv.98は加熱調理する; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact1 & fact4 -> int1: {C}{c}; int1 & fact3 -> int2: {D}{c}; int2 & fact5 -> hypothesis; __PROVED__