あのぴにぴちょLv.38は定めない
fact1: もし「あのぽのぽゆLv.35は夥しい」ということは成り立てばあのぴにぴちょLv.38は夥しい fact2: もしも「「やばいしその上床しい」ということは誤りな」モンスターがいればこのぷいぷちゃLv.91は汚らしくない fact3: あのぽのぽゆLv.35は夥しくてそれは汚らしい fact4: もし仮にあのぽのぽゆLv.35が定めるとするとあのぴにぴちょLv.38は定める fact5: もしも「あのぽのぽゆLv.35は夥しい」ということは成り立つとすればあのぴにぴちょLv.38は夥しいけど定めない
fact3 -> int1: あのぽのぽゆLv.35は夥しい; int1 & fact5 -> int2: あのぴにぴちょLv.38は夥しいけど定めない; int2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{b} & ¬{D}{b}); int2 -> hypothesis;
あのぴにぴちょLv.38は定める
$facts$ = fact1: もし「あのぽのぽゆLv.35は夥しい」ということは成り立てばあのぴにぴちょLv.38は夥しい fact2: もしも「「やばいしその上床しい」ということは誤りな」モンスターがいればこのぷいぷちゃLv.91は汚らしくない fact3: あのぽのぽゆLv.35は夥しくてそれは汚らしい fact4: もし仮にあのぽのぽゆLv.35が定めるとするとあのぴにぴちょLv.38は定める fact5: もしも「あのぽのぽゆLv.35は夥しい」ということは成り立つとすればあのぴにぴちょLv.38は夥しいけど定めない ; $hypothesis$ = あのぴにぴちょLv.38は定めない ; $proof$ = 
fact3 -> int1: あのぽのぽゆLv.35は夥しい; int1 & fact5 -> int2: あのぴにぴちょLv.38は夥しいけど定めない; int2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{b} & ¬{D}{b}); int2 -> hypothesis; __PROVED__