「拙いかもしくは繁殖し易いかどちらもであるモンスターはいる」ということは事実でない
fact1: もし仮にそのぷにょぷなLv.44が届き難いならば切り掛ける fact2: そのぷにょぷなLv.44は届き難くて拙い
fact2 -> int1: 「そのぷにょぷなLv.44は拙い」ということは真実だ; int1 -> int2: そのぷにょぷなLv.44は拙いか繁殖し易いかどちらもである; int2 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> hypothesis;
そのぷにょぷなLv.44は一元化するししかも切り掛ける
$facts$ = fact1: もし仮にそのぷにょぷなLv.44が届き難いならば切り掛ける fact2: そのぷにょぷなLv.44は届き難くて拙い ; $hypothesis$ = 「拙いかもしくは繁殖し易いかどちらもであるモンスターはいる」ということは事実でない ; $proof$ = 
fact2 -> int1: 「そのぷにょぷなLv.44は拙い」ということは真実だ; int1 -> int2: そのぷにょぷなLv.44は拙いか繁殖し易いかどちらもである; int2 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> hypothesis; __DISPROVED__