そのぽゆぽにゃLv.68はし易くてそれは徴集する
fact1: そのぽゆぽにゃLv.68はし易い fact2: このもゆもちゃLv.81は生温かいしさらに飽きっぽい fact3: 私らしいモンスターは考え辛くない fact4: そのぽゆぽにゃLv.68は徴集する
fact1 -> int1: そのぽゆぽにゃLv.68はし易い; int1 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
「そのぽゆぽにゃLv.68はし易いしその上徴集する」ということは誤っている
fact5 -> int2: 仮に「そのもよもくLv.71は私らしい」ということは確かだとするとそのもよもくLv.71は考え辛いということはない;
$facts$ = fact1: そのぽゆぽにゃLv.68はし易い fact2: このもゆもちゃLv.81は生温かいしさらに飽きっぽい fact3: 私らしいモンスターは考え辛くない fact4: そのぽゆぽにゃLv.68は徴集する ; $hypothesis$ = そのぽゆぽにゃLv.68はし易くてそれは徴集する ; $proof$ = 
fact1 -> int1: そのぽゆぽにゃLv.68はし易い; int1 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__