何らかのモンスターは青々とするしまた遣り難い
fact1: 考え辛いモンスターはいる fact2: あのぴにぴにょLv.15が考え辛いとするとこのぷのぷわLv.17は遣り難い fact3: このぷのぷわLv.17は青々とする fact4: 「なんらかのモンスターは遣り難い」ということは成り立つ fact5: あのぴにぴにょLv.15は考え辛い fact6: 「考え辛いモンスターは青々とする」ということは確かである
fact2 & fact5 -> int1: このぷのぷわLv.17は遣り難い; int1 & fact3 -> int2: このぷのぷわLv.17は青々とするしかつ遣り難い; int2 -> hypothesis;
fact2 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis;
あのぽのぽのLv.55は青々とする
fact7 -> int3: もしもあのぽのぽのLv.55は考え辛いなら「青々とする」ということは間違っていない;
$facts$ = fact1: 考え辛いモンスターはいる fact2: あのぴにぴにょLv.15が考え辛いとするとこのぷのぷわLv.17は遣り難い fact3: このぷのぷわLv.17は青々とする fact4: 「なんらかのモンスターは遣り難い」ということは成り立つ fact5: あのぴにぴにょLv.15は考え辛い fact6: 「考え辛いモンスターは青々とする」ということは確かである ; $hypothesis$ = 何らかのモンスターは青々とするしまた遣り難い ; $proof$ = 
fact2 & fact5 -> int1: このぷのぷわLv.17は遣り難い; int1 & fact3 -> int2: このぷのぷわLv.17は青々とするしかつ遣り難い; int2 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis; __PROVED__