あのぴえぴよLv.69は引き出し易い
fact1: あのぴえぴよLv.69は対応し易い fact2: そのぽにょぽわLv.54は転び易い fact3: 「あのみにょみえLv.82はしんどい」ということは正しいとすればあのぴえぴよLv.69は転び易い fact4: あのみにょみえLv.82はしんどいしかつ煽てる fact5: あのみにょみえLv.82は進め易い fact6: もし仮に「あのぴえぴよLv.69は転び易い」ということは成り立てば引き出し易い fact7: あのみにょみえLv.82は転び易い fact8: もし「とあるモンスターは煽てないけれどしんどい」ということは事実と異なるとしたらそれは引き出し易くない
fact4 -> int1: あのみにょみえLv.82はしんどい; int1 & fact3 -> int2: あのぴえぴよLv.69は転び易い; int2 & fact6 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
あのぴえぴよLv.69は引き出し易くない
fact9 -> int3: もし仮に「あのぴえぴよLv.69は煽てないけどそれはしんどい」ということは成り立たないとするとあのぴえぴよLv.69は引き出し易くない;
$facts$ = fact1: あのぴえぴよLv.69は対応し易い fact2: そのぽにょぽわLv.54は転び易い fact3: 「あのみにょみえLv.82はしんどい」ということは正しいとすればあのぴえぴよLv.69は転び易い fact4: あのみにょみえLv.82はしんどいしかつ煽てる fact5: あのみにょみえLv.82は進め易い fact6: もし仮に「あのぴえぴよLv.69は転び易い」ということは成り立てば引き出し易い fact7: あのみにょみえLv.82は転び易い fact8: もし「とあるモンスターは煽てないけれどしんどい」ということは事実と異なるとしたらそれは引き出し易くない ; $hypothesis$ = あのぴえぴよLv.69は引き出し易い ; $proof$ = 
fact4 -> int1: あのみにょみえLv.82はしんどい; int1 & fact3 -> int2: あのぴえぴよLv.69は転び易い; int2 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__