このまねまえLv.83は悲しくない
fact1: もしもこのまねまえLv.83が分離し易いならこのぴにゃぴにょLv.37は悲しい fact2: もしこのぴにゃぴにょLv.37は悲しいならば「このまねまえLv.83は分離し易い」ということは本当だ fact3: 纏まり易いモンスターは悲しくない一方で分離し易い fact4: このぴにゃぴにょLv.37が分離し易いならばこのまねまえLv.83は悲しい fact5: このぴにゃぴにょLv.37は分離し易い
fact5 -> int1: このぴにゃぴにょLv.37は分離し易い; int1 & fact4 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
このまねまえLv.83は悲しくない
fact6 -> int2: もしこのまねまえLv.83が纏まり易いとすると悲しいということはなくて更にそれは分離し易い;
$facts$ = fact1: もしもこのまねまえLv.83が分離し易いならこのぴにゃぴにょLv.37は悲しい fact2: もしこのぴにゃぴにょLv.37は悲しいならば「このまねまえLv.83は分離し易い」ということは本当だ fact3: 纏まり易いモンスターは悲しくない一方で分離し易い fact4: このぴにゃぴにょLv.37が分離し易いならばこのまねまえLv.83は悲しい fact5: このぴにゃぴにょLv.37は分離し易い ; $hypothesis$ = このまねまえLv.83は悲しくない ; $proof$ = 
fact5 -> int1: このぴにゃぴにょLv.37は分離し易い; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__