「このみなみにLv.45は支障無くない」ということは事実である
fact1: このみなみにLv.45は広しが御参照下さるということはない fact2: もしもあるモンスターは宣言すらないなら「スポーツマンらしいしそれにそれは引き算する」ということは間違っている fact3: 広しモンスターでその上御参照下さらないモンスターは粘っこい fact4: 仮にとあるモンスターが御参照下さる一方でそれが粘っこくないとすればそれは支障無い fact5: そのぴにぴゆLv.55が支障無いがしかしそれが書き難くないとすると溶け易い fact6: もしこのみなみにLv.45が粘っこいならこのみなみにLv.45は支障無い
fact3 -> int1: 仮にこのみなみにLv.45が広しけど御参照下さらないとするとこのみなみにLv.45は粘っこい; int1 & fact1 -> int2: このみなみにLv.45は粘っこい; int2 & fact6 -> hypothesis;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact6 -> hypothesis;
「このみなみにLv.45は支障無くない」ということは事実である
fact7 -> int3: もし仮にそのぷいぷにゅLv.63は宣言すらないとすると「「そのぷいぷにゅLv.63はスポーツマンらしいしおまけにそれは引き算する」ということは成り立つ」ということは間違っている;
$facts$ = fact1: このみなみにLv.45は広しが御参照下さるということはない fact2: もしもあるモンスターは宣言すらないなら「スポーツマンらしいしそれにそれは引き算する」ということは間違っている fact3: 広しモンスターでその上御参照下さらないモンスターは粘っこい fact4: 仮にとあるモンスターが御参照下さる一方でそれが粘っこくないとすればそれは支障無い fact5: そのぴにぴゆLv.55が支障無いがしかしそれが書き難くないとすると溶け易い fact6: もしこのみなみにLv.45が粘っこいならこのみなみにLv.45は支障無い ; $hypothesis$ = 「このみなみにLv.45は支障無くない」ということは事実である ; $proof$ = 
fact3 -> int1: 仮にこのみなみにLv.45が広しけど御参照下さらないとするとこのみなみにLv.45は粘っこい; int1 & fact1 -> int2: このみなみにLv.45は粘っこい; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact6 -> hypothesis; __DISPROVED__