「そのぴわぴちゃLv.50は人懐こくない」ということは事実である
fact1: あるモンスターが行かしないとしたら凄いしその上それは物らしい fact2: そのぴわぴちゃLv.50は行かする fact3: そのぷちゃぷちゅLv.17は凄い fact4: そのぴわぴちゃLv.50は想定し難い fact5: もし仮にそのぴわぴちゃLv.50が物らしいならば凄い fact6: もし仮にあのぷくぷにょLv.69は薄青くないとすれば「「それは想定し難いということはないかそれは行かするかあるいは両方である」ということは確かだ」ということは偽である fact7: 仮にあるモンスターは想定し難くないとすれば「このもよものLv.54は行かするし想定し難い」ということは偽である fact8: もし「あのぷくぷにょLv.69は想定し難くないかまたは行かするかまたはどちらもだ」ということは偽ならそのぴわぴちゃLv.50は凄くない fact9: そのぴわぴちゃLv.50が凄いしおまけにそれが行かするならそのぴわぴちゃLv.50は人懐こくない fact10: もし仮にそのぴわぴちゃLv.50は想定し難いならば「そのぴわぴちゃLv.50は物らしい」ということは誤っていない
fact4 & fact10 -> int1: そのぴわぴちゃLv.50は物らしい; fact5 & int1 -> int2: そのぴわぴちゃLv.50は凄い; int2 & fact2 -> int3: そのぴわぴちゃLv.50は凄いしそれは行かする; int3 & fact9 -> hypothesis;
fact4 & fact10 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact2 -> int3: ({B}{a} & {C}{a}); int3 & fact9 -> hypothesis;
このもよものLv.54は凄い
fact11 -> int4: 「このもよものLv.54は行かしない」ということは正しいならばこのもよものLv.54は凄くて加えて物らしい;
$facts$ = fact1: あるモンスターが行かしないとしたら凄いしその上それは物らしい fact2: そのぴわぴちゃLv.50は行かする fact3: そのぷちゃぷちゅLv.17は凄い fact4: そのぴわぴちゃLv.50は想定し難い fact5: もし仮にそのぴわぴちゃLv.50が物らしいならば凄い fact6: もし仮にあのぷくぷにょLv.69は薄青くないとすれば「「それは想定し難いということはないかそれは行かするかあるいは両方である」ということは確かだ」ということは偽である fact7: 仮にあるモンスターは想定し難くないとすれば「このもよものLv.54は行かするし想定し難い」ということは偽である fact8: もし「あのぷくぷにょLv.69は想定し難くないかまたは行かするかまたはどちらもだ」ということは偽ならそのぴわぴちゃLv.50は凄くない fact9: そのぴわぴちゃLv.50が凄いしおまけにそれが行かするならそのぴわぴちゃLv.50は人懐こくない fact10: もし仮にそのぴわぴちゃLv.50は想定し難いならば「そのぴわぴちゃLv.50は物らしい」ということは誤っていない ; $hypothesis$ = 「そのぴわぴちゃLv.50は人懐こくない」ということは事実である ; $proof$ = 
fact4 & fact10 -> int1: そのぴわぴちゃLv.50は物らしい; fact5 & int1 -> int2: そのぴわぴちゃLv.50は凄い; int2 & fact2 -> int3: そのぴわぴちゃLv.50は凄いしそれは行かする; int3 & fact9 -> hypothesis; __PROVED__
fact4 & fact10 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact2 -> int3: ({B}{a} & {C}{a}); int3 & fact9 -> hypothesis; __PROVED__