あのもちょもくLv.84は格好良いけど塞かない
fact1: もしもあのもちょもくLv.84が上げするとすればあのもちょもくLv.84は近付き難い fact2: 仮にあのもちょもくLv.84は近付き難いとしたら「あのもちょもくLv.84は格好良いけど塞かない」ということは間違いである fact3: もしもこのぷちゃぷくLv.33が麗々しいならそれは上げする fact4: 「あのもちょもくLv.84は入手し易いししかも上げする」ということは正しい fact5: もし仮にあのもちょもくLv.84は入手し易くないとすれば「あのもいもわLv.96は白ける一方で寒しということはない」ということは成り立つということはない
fact4 -> int1: あのもちょもくLv.84は上げする; int1 & fact1 -> int2: あのもちょもくLv.84は近付き難い; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
「あのもいもわLv.96は白けるけれどそれは寒しない」ということは誤りである
$facts$ = fact1: もしもあのもちょもくLv.84が上げするとすればあのもちょもくLv.84は近付き難い fact2: 仮にあのもちょもくLv.84は近付き難いとしたら「あのもちょもくLv.84は格好良いけど塞かない」ということは間違いである fact3: もしもこのぷちゃぷくLv.33が麗々しいならそれは上げする fact4: 「あのもちょもくLv.84は入手し易いししかも上げする」ということは正しい fact5: もし仮にあのもちょもくLv.84は入手し易くないとすれば「あのもいもわLv.96は白ける一方で寒しということはない」ということは成り立つということはない ; $hypothesis$ = あのもちょもくLv.84は格好良いけど塞かない ; $proof$ = 
fact4 -> int1: あのもちょもくLv.84は上げする; int1 & fact1 -> int2: あのもちょもくLv.84は近付き難い; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__