あのもちゃもねLv.69は起こし掛けない
fact1: このぽなぽえLv.32はせしめるし動揺し易い fact2: もしもこのぽなぽえLv.32が来辛いならあのもちゃもねLv.69は旨い fact3: 動揺し易くないモンスターは起こし掛けるしかつせしめる fact4: このまえまちゅLv.30は起こし掛ける fact5: あのもちゃもねLv.69は息苦しい fact6: あのもちゃもねLv.69はイメージングする fact7: もし仮にあのもちゃもねLv.69が動揺し易いしその上旨いとしたら起こし掛けない fact8: 仮にこのぽなぽえLv.32は動揺し易いとしたら「このぽなぽえLv.32は来辛い」ということは真実だ fact9: 「仮に「あのもちゃもねLv.69は息苦しいし加えて旨い」ということは確かであるとすればあのもちゃもねLv.69は起こし掛けない」ということは成り立つ
fact1 -> int1: このぽなぽえLv.32は動揺し易い; int1 & fact8 -> int2: このぽなぽえLv.32は来辛い; int2 & fact2 -> int3: あのもちゃもねLv.69は旨い; int3 & fact5 -> int4: あのもちゃもねLv.69は息苦しいしそれに旨い; int4 & fact9 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact5 -> int4: ({E}{b} & {D}{b}); int4 & fact9 -> hypothesis;
あのもちゃもねLv.69は起こし掛ける
fact10 -> int5: もし仮にあのもちゃもねLv.69が動揺し易くないとしたらあのもちゃもねLv.69は起こし掛けるしさらにそれはせしめる;
$facts$ = fact1: このぽなぽえLv.32はせしめるし動揺し易い fact2: もしもこのぽなぽえLv.32が来辛いならあのもちゃもねLv.69は旨い fact3: 動揺し易くないモンスターは起こし掛けるしかつせしめる fact4: このまえまちゅLv.30は起こし掛ける fact5: あのもちゃもねLv.69は息苦しい fact6: あのもちゃもねLv.69はイメージングする fact7: もし仮にあのもちゃもねLv.69が動揺し易いしその上旨いとしたら起こし掛けない fact8: 仮にこのぽなぽえLv.32は動揺し易いとしたら「このぽなぽえLv.32は来辛い」ということは真実だ fact9: 「仮に「あのもちゃもねLv.69は息苦しいし加えて旨い」ということは確かであるとすればあのもちゃもねLv.69は起こし掛けない」ということは成り立つ ; $hypothesis$ = あのもちゃもねLv.69は起こし掛けない ; $proof$ = 
fact1 -> int1: このぽなぽえLv.32は動揺し易い; int1 & fact8 -> int2: このぽなぽえLv.32は来辛い; int2 & fact2 -> int3: あのもちゃもねLv.69は旨い; int3 & fact5 -> int4: あのもちゃもねLv.69は息苦しいしそれに旨い; int4 & fact9 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact5 -> int4: ({E}{b} & {D}{b}); int4 & fact9 -> hypothesis; __PROVED__