「「持ち難いとしたら借り易くない」モンスターはいる」ということは事実でない
fact1: 持ち難いモンスターは借り易い fact2: もしもとあるモンスターは持ち難いとすれば「借り易くない」ということは成り立つ
fact2 -> int1: もし仮にあのぷよぷにLv.84が持ち難いとするとそれは借り易くない; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 持ち難いモンスターは借り易い fact2: もしもとあるモンスターは持ち難いとすれば「借り易くない」ということは成り立つ ; $hypothesis$ = 「「持ち難いとしたら借り易くない」モンスターはいる」ということは事実でない ; $proof$ = 
fact2 -> int1: もし仮にあのぷよぷにLv.84が持ち難いとするとそれは借り易くない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __DISPROVED__