あのぷちゅぷよLv.93はしがない
fact1: このぴなぴゆLv.93は背負い込む fact2: もしもこのぴなぴゆLv.93が背負い込むとすればそれは有るらしくないし言い易いということはない fact3: 「もし仮にこのぴなぴゆLv.93が有るらしくないし言い易くないとするとあのぷちゅぷよLv.93はしがなくない」ということは成り立つ fact4: もし「このぴなぴゆLv.93は背負い込む」ということは誤っていないとすると有るらしくない fact5: このぴなぴゆLv.93は有るらしくない fact6: あのぷちゅぷよLv.93は乾き易くないしそれは言い易くない fact7: もし仮にこのぴなぴゆLv.93が有るらしいけれど言い易くないとすればあのぷちゅぷよLv.93はしがなくない
fact2 & fact1 -> int1: このぴなぴゆLv.93は有るらしいということはないしその上言い易くない; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: このぴなぴゆLv.93は背負い込む fact2: もしもこのぴなぴゆLv.93が背負い込むとすればそれは有るらしくないし言い易いということはない fact3: 「もし仮にこのぴなぴゆLv.93が有るらしくないし言い易くないとするとあのぷちゅぷよLv.93はしがなくない」ということは成り立つ fact4: もし「このぴなぴゆLv.93は背負い込む」ということは誤っていないとすると有るらしくない fact5: このぴなぴゆLv.93は有るらしくない fact6: あのぷちゅぷよLv.93は乾き易くないしそれは言い易くない fact7: もし仮にこのぴなぴゆLv.93が有るらしいけれど言い易くないとすればあのぷちゅぷよLv.93はしがなくない ; $hypothesis$ = あのぷちゅぷよLv.93はしがない ; $proof$ = 
fact2 & fact1 -> int1: このぴなぴゆLv.93は有るらしいということはないしその上言い易くない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis; __DISPROVED__