あのぴねぴわLv.42はし辛いということはない
fact1: もしもあのぴねぴわLv.42が芳しいならばあのぴねぴわLv.42はし辛い fact2: もしなにがしかのモンスターが打刻するとしたらそれはし辛い fact3: もしあのぽにぽいLv.37は程無くないとしたら「そのもねもちょLv.62は凛々しいけれど芳しくない」ということは間違っている fact4: もし仮にこのぷえぷちゃLv.38はし辛いとしたら「そのもねもちょLv.62はし辛い」ということは事実だ fact5: このぷえぷちゃLv.38は打刻する fact6: あのぴねぴわLv.42は芳しい fact7: もし仮に「「そのもねもちょLv.62は凛々しい一方でそれは芳しくない」ということは成り立たない」ということは成り立つならそのもねもちょLv.62は凛々しくない
fact6 -> int1: あのぴねぴわLv.42は芳しい; int1 & fact1 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのぴねぴわLv.42はし辛いということはない
fact12 -> int2: 仮に「このぷえぷちゃLv.38は打刻する」ということは本当だとすれば「このぷえぷちゃLv.38はし辛い」ということは確かだ; int2 & fact9 -> int3: このぷえぷちゃLv.38はし辛い; fact10 & int3 -> int4: そのもねもちょLv.62はし辛い;
$facts$ = fact1: もしもあのぴねぴわLv.42が芳しいならばあのぴねぴわLv.42はし辛い fact2: もしなにがしかのモンスターが打刻するとしたらそれはし辛い fact3: もしあのぽにぽいLv.37は程無くないとしたら「そのもねもちょLv.62は凛々しいけれど芳しくない」ということは間違っている fact4: もし仮にこのぷえぷちゃLv.38はし辛いとしたら「そのもねもちょLv.62はし辛い」ということは事実だ fact5: このぷえぷちゃLv.38は打刻する fact6: あのぴねぴわLv.42は芳しい fact7: もし仮に「「そのもねもちょLv.62は凛々しい一方でそれは芳しくない」ということは成り立たない」ということは成り立つならそのもねもちょLv.62は凛々しくない ; $hypothesis$ = あのぴねぴわLv.42はし辛いということはない ; $proof$ = 
fact6 -> int1: あのぴねぴわLv.42は芳しい; int1 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__