そのまにょまなLv.91は薄汚い
fact1: このぽくぽにゃLv.48がふさふさすればあのもにもちょLv.0は忍耐強い fact2: このぽくぽにゃLv.48はふさふさするしまたそれは御構い無い fact3: 「忍耐強い」モンスターはいる fact4: なんらかのモンスターは人間っぽい fact5: もし忍耐強いモンスターが人間っぽいとするとそのまにょまなLv.91は薄汚い fact6: あのもにもちょLv.0は人間っぽい
fact2 -> int1: このぽくぽにゃLv.48はふさふさする; int1 & fact1 -> int2: あのもにもちょLv.0は忍耐強い; int2 & fact6 -> int3: あのもにもちょLv.0は忍耐強いししかも人間っぽい; int3 -> int4: 「忍耐強くてかつ人間っぽい」モンスターはいる; int4 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({C}{b} & {D}{b}); int3 -> int4: (Ex): ({C}x & {D}x); int4 & fact5 -> hypothesis;
$facts$ = fact1: このぽくぽにゃLv.48がふさふさすればあのもにもちょLv.0は忍耐強い fact2: このぽくぽにゃLv.48はふさふさするしまたそれは御構い無い fact3: 「忍耐強い」モンスターはいる fact4: なんらかのモンスターは人間っぽい fact5: もし忍耐強いモンスターが人間っぽいとするとそのまにょまなLv.91は薄汚い fact6: あのもにもちょLv.0は人間っぽい ; $hypothesis$ = そのまにょまなLv.91は薄汚い ; $proof$ = 
fact2 -> int1: このぽくぽにゃLv.48はふさふさする; int1 & fact1 -> int2: あのもにもちょLv.0は忍耐強い; int2 & fact6 -> int3: あのもにもちょLv.0は忍耐強いししかも人間っぽい; int3 -> int4: 「忍耐強くてかつ人間っぽい」モンスターはいる; int4 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({C}{b} & {D}{b}); int3 -> int4: (Ex): ({C}x & {D}x); int4 & fact5 -> hypothesis; __PROVED__