そのぽくぽちゅLv.10はおっきい
fact1: もしそのぽくぽちゅLv.10がうつ伏せないならそのぷよぷくLv.31は其れらしいししかも塩っ辛い fact2: そのぽくぽちゅLv.10は理屈っぽい fact3: 「そのぽくぽちゅLv.10は其れらしい」ということは成り立つ fact4: そのぽくぽちゅLv.10が其れらしいならおっきい fact5: 「このぽえぽわLv.86はおっきい」ということは事実だ fact6: もし「何らかのモンスターはしゅんとしないしそれにそれは優しということはない」ということは嘘であるとしたらうつ伏せない
fact3 -> int1: 「そのぽくぽちゅLv.10は其れらしい」ということは成り立つ; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
そのぷよぷくLv.31はおっきい
fact7 -> int2: もしも「そのぽくぽちゅLv.10はしゅんとしないし更に優しない」ということは成り立たないとするとうつ伏せるということはない;
$facts$ = fact1: もしそのぽくぽちゅLv.10がうつ伏せないならそのぷよぷくLv.31は其れらしいししかも塩っ辛い fact2: そのぽくぽちゅLv.10は理屈っぽい fact3: 「そのぽくぽちゅLv.10は其れらしい」ということは成り立つ fact4: そのぽくぽちゅLv.10が其れらしいならおっきい fact5: 「このぽえぽわLv.86はおっきい」ということは事実だ fact6: もし「何らかのモンスターはしゅんとしないしそれにそれは優しということはない」ということは嘘であるとしたらうつ伏せない ; $hypothesis$ = そのぽくぽちゅLv.10はおっきい ; $proof$ = 
fact3 -> int1: 「そのぽくぽちゅLv.10は其れらしい」ということは成り立つ; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__