あのぴにぴにLv.68は労労じ
fact1: あのぴにぴにLv.68は因り難くないが固いとすると労労じない fact2: このぴいぴにLv.66は因り難くない fact3: もしあのぴにぴにLv.68が集中出来るかもしくは使い辛いならあのぴにぴにLv.68は最もらしくない fact4: あのぴにぴにLv.68は集中出来るか使い辛いかまたは両方ともだ fact5: なにがしかのモンスターが最もらしくないとしたらそれは因り難くないしその上固い
fact5 -> int1: もし「あのぴにぴにLv.68は最もらしくない」ということは偽であるということはないとしたらあのぴにぴにLv.68は因り難くないが固い; fact3 & fact4 -> int2: 「あのぴにぴにLv.68は最もらしくない」ということは誤っているということはない; int1 & int2 -> int3: あのぴにぴにLv.68は因り難くないがしかし固い; int3 & fact1 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact3 & fact4 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact1 -> hypothesis;
$facts$ = fact1: あのぴにぴにLv.68は因り難くないが固いとすると労労じない fact2: このぴいぴにLv.66は因り難くない fact3: もしあのぴにぴにLv.68が集中出来るかもしくは使い辛いならあのぴにぴにLv.68は最もらしくない fact4: あのぴにぴにLv.68は集中出来るか使い辛いかまたは両方ともだ fact5: なにがしかのモンスターが最もらしくないとしたらそれは因り難くないしその上固い ; $hypothesis$ = あのぴにぴにLv.68は労労じ ; $proof$ = 
fact5 -> int1: もし「あのぴにぴにLv.68は最もらしくない」ということは偽であるということはないとしたらあのぴにぴにLv.68は因り難くないが固い; fact3 & fact4 -> int2: 「あのぴにぴにLv.68は最もらしくない」ということは誤っているということはない; int1 & int2 -> int3: あのぴにぴにLv.68は因り難くないがしかし固い; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact3 & fact4 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact1 -> hypothesis; __DISPROVED__