「このぽわぽくLv.80はもどかしい」ということは真実だ
fact1: もしもそのもちゅものLv.29がし付けるしその上思慮深いならばこのぽわぽくLv.80はもどかしくない fact2: 仮にあのぽえぽやLv.29が腹黒いならそのもちゅものLv.29はし付ける fact3: もし「あるモンスターは腹黒くないがしかしもどかしい」ということは間違いならばもどかしくない fact4: もしもあのぽえぽやLv.29はし付けないならば「そのもちゅものLv.29は腹黒くないけどそれはもどかしい」ということは嘘だ fact5: 「このぽわぽくLv.80は手広いしまた思慮深い」ということは偽である fact6: あのぽえぽやLv.29は腹黒いし手広い fact7: そのもちゅものLv.29は思慮深い fact8: もし「とあるモンスターは手広いしその上思慮深い」ということは成り立たないならば手広くない
fact6 -> int1: あのぽえぽやLv.29は腹黒い; fact2 & int1 -> int2: そのもちゅものLv.29はし付ける; int2 & fact7 -> int3: そのもちゅものLv.29はし付けるしそれは思慮深い; int3 & fact1 -> hypothesis;
fact6 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact7 -> int3: ({B}{b} & {C}{b}); int3 & fact1 -> hypothesis;
そのもちゅものLv.29はもどかしくない
fact11 -> int4: もし仮に「そのもちゅものLv.29は腹黒くないけどもどかしい」ということは成り立たないなら「そのもちゅものLv.29はもどかしくない」ということは偽でない; fact9 -> int5: 「仮に「このぽわぽくLv.80は手広いしおまけにそれは思慮深い」ということは成り立たないとすればこのぽわぽくLv.80は手広くない」ということは確かだ; int5 & fact12 -> int6: このぽわぽくLv.80は手広くない;
$facts$ = fact1: もしもそのもちゅものLv.29がし付けるしその上思慮深いならばこのぽわぽくLv.80はもどかしくない fact2: 仮にあのぽえぽやLv.29が腹黒いならそのもちゅものLv.29はし付ける fact3: もし「あるモンスターは腹黒くないがしかしもどかしい」ということは間違いならばもどかしくない fact4: もしもあのぽえぽやLv.29はし付けないならば「そのもちゅものLv.29は腹黒くないけどそれはもどかしい」ということは嘘だ fact5: 「このぽわぽくLv.80は手広いしまた思慮深い」ということは偽である fact6: あのぽえぽやLv.29は腹黒いし手広い fact7: そのもちゅものLv.29は思慮深い fact8: もし「とあるモンスターは手広いしその上思慮深い」ということは成り立たないならば手広くない ; $hypothesis$ = 「このぽわぽくLv.80はもどかしい」ということは真実だ ; $proof$ = 
fact6 -> int1: あのぽえぽやLv.29は腹黒い; fact2 & int1 -> int2: そのもちゅものLv.29はし付ける; int2 & fact7 -> int3: そのもちゅものLv.29はし付けるしそれは思慮深い; int3 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact7 -> int3: ({B}{b} & {C}{b}); int3 & fact1 -> hypothesis; __DISPROVED__