このぴなぴくLv.37は増え難くない
fact1: このぴなぴくLv.37は軽々しくない fact2: 軽々しいということはないモンスターは増え難くてまたブラバスらしい
fact2 -> int1: このぴなぴくLv.37が軽々しくないなら増え難いしさらにそれはブラバスらしい; int1 & fact1 -> int2: このぴなぴくLv.37は増え難いしブラバスらしい; int2 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
$facts$ = fact1: このぴなぴくLv.37は軽々しくない fact2: 軽々しいということはないモンスターは増え難くてまたブラバスらしい ; $hypothesis$ = このぴなぴくLv.37は増え難くない ; $proof$ = 
fact2 -> int1: このぴなぴくLv.37が軽々しくないなら増え難いしさらにそれはブラバスらしい; int1 & fact1 -> int2: このぴなぴくLv.37は増え難いしブラバスらしい; int2 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __DISPROVED__