「あのもくもわLv.75は把握し難くてめでたい」ということは真実だ
fact1: 仮にそのぽわぽにゅLv.2が脂肪吸引するとしたらそのぷくぷちゅLv.9は若者らしい fact2: 仮に若者らしいモンスターが脂肪吸引しないならそれは見易いということはない fact3: 「全てのモンスターは見易いかまたは脂肪吸引する」ということは事実だ fact4: もしもそのぽわぽにゅLv.2が見易いならばそのぷくぷちゅLv.9は若者らしい fact5: もしあのもくもわLv.75が把握し難いとしたらあのもくもわLv.75は取り難い fact6: もしも「そのぷくぷちゅLv.9は見易いということはない」ということは本当なら「あのもくもわLv.75は把握し難いしめでたい」ということは成り立たない fact7: 仮にそのぷくぷちゅLv.9が取り難いならあのもくもわLv.75は把握し難い fact8: そのぷくぷちゅLv.9が若者らしいとしたら取り難い fact9: 「あのもくもわLv.75はめでたい」ということは真実だ
fact3 -> int1: そのぽわぽにゅLv.2は見易いかもしくはそれは脂肪吸引する; int1 & fact4 & fact1 -> int2: そのぷくぷちゅLv.9は若者らしい; int2 & fact8 -> int3: そのぷくぷちゅLv.9は取り難い; int3 & fact7 -> int4: あのもくもわLv.75は把握し難い; int4 & fact9 -> hypothesis;
fact3 -> int1: ({A}{aa} v {B}{aa}); int1 & fact4 & fact1 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{b}; int4 & fact9 -> hypothesis;
「あのもくもわLv.75は把握し難いしまためでたい」ということは確かでない
fact10 -> int5: もし仮にそのぷくぷちゅLv.9が若者らしいけど脂肪吸引しないとすると見易くない;
$facts$ = fact1: 仮にそのぽわぽにゅLv.2が脂肪吸引するとしたらそのぷくぷちゅLv.9は若者らしい fact2: 仮に若者らしいモンスターが脂肪吸引しないならそれは見易いということはない fact3: 「全てのモンスターは見易いかまたは脂肪吸引する」ということは事実だ fact4: もしもそのぽわぽにゅLv.2が見易いならばそのぷくぷちゅLv.9は若者らしい fact5: もしあのもくもわLv.75が把握し難いとしたらあのもくもわLv.75は取り難い fact6: もしも「そのぷくぷちゅLv.9は見易いということはない」ということは本当なら「あのもくもわLv.75は把握し難いしめでたい」ということは成り立たない fact7: 仮にそのぷくぷちゅLv.9が取り難いならあのもくもわLv.75は把握し難い fact8: そのぷくぷちゅLv.9が若者らしいとしたら取り難い fact9: 「あのもくもわLv.75はめでたい」ということは真実だ ; $hypothesis$ = 「あのもくもわLv.75は把握し難くてめでたい」ということは真実だ ; $proof$ = 
fact3 -> int1: そのぽわぽにゅLv.2は見易いかもしくはそれは脂肪吸引する; int1 & fact4 & fact1 -> int2: そのぷくぷちゅLv.9は若者らしい; int2 & fact8 -> int3: そのぷくぷちゅLv.9は取り難い; int3 & fact7 -> int4: あのもくもわLv.75は把握し難い; int4 & fact9 -> hypothesis; __PROVED__
fact3 -> int1: ({A}{aa} v {B}{aa}); int1 & fact4 & fact1 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{b}; int4 & fact9 -> hypothesis; __PROVED__