「このぷにぷゆLv.5は有るらしいけれどそれは太り難くない」ということは確かでない
fact1: もしそのぷわぷよLv.22が危うしかもしくはそれが太り難いかまたはどちらもだとすればこのぷにぷゆLv.5は有るらしくない fact2: 「もしそのぷわぷよLv.22が危うしとしたらこのぷにぷゆLv.5は太り難くない」ということは誤りでない fact3: そのぷわぷよLv.22は次ぐ fact4: このぷにぷゆLv.5は有るらしい fact5: 仮にそのぷわぷよLv.22は次ぐかまたは危うしかどちらもであるとすると「このぷにぷゆLv.5は太り難くない」ということは成り立つ fact6: もし仮にこのぷにぷゆLv.5が次ぐとするとそのぷわぷよLv.22は太り難くない fact7: そのぴねぴにゃLv.15は太り難い fact8: もしなんらかのモンスターは次がないとすると「それは有るらしいしそれは太り難くない」ということは誤っている
fact3 -> int1: そのぷわぷよLv.22は次ぐかまたは危うし; int1 & fact5 -> int2: このぷにぷゆLv.5は太り難くない; int2 & fact4 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
「このぷにぷゆLv.5は有るらしいけれどそれは太り難くない」ということは確かでない
fact9 -> int3: もし仮にこのぷにぷゆLv.5は次がないとすれば「このぷにぷゆLv.5は有るらしいけど太り難くない」ということは成り立たない;
$facts$ = fact1: もしそのぷわぷよLv.22が危うしかもしくはそれが太り難いかまたはどちらもだとすればこのぷにぷゆLv.5は有るらしくない fact2: 「もしそのぷわぷよLv.22が危うしとしたらこのぷにぷゆLv.5は太り難くない」ということは誤りでない fact3: そのぷわぷよLv.22は次ぐ fact4: このぷにぷゆLv.5は有るらしい fact5: 仮にそのぷわぷよLv.22は次ぐかまたは危うしかどちらもであるとすると「このぷにぷゆLv.5は太り難くない」ということは成り立つ fact6: もし仮にこのぷにぷゆLv.5が次ぐとするとそのぷわぷよLv.22は太り難くない fact7: そのぴねぴにゃLv.15は太り難い fact8: もしなんらかのモンスターは次がないとすると「それは有るらしいしそれは太り難くない」ということは誤っている ; $hypothesis$ = 「このぷにぷゆLv.5は有るらしいけれどそれは太り難くない」ということは確かでない ; $proof$ = 
fact3 -> int1: そのぷわぷよLv.22は次ぐかまたは危うし; int1 & fact5 -> int2: このぷにぷゆLv.5は太り難くない; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__