あのもにもちょLv.50は敷衍するということはなくてさらに凛々しくない
fact1: このぴよぴくLv.25は綻びるししかも努力する fact2: もし仮にこのぴよぴくLv.25は努力すれば「このぴよぴくLv.25は凛々しい」ということは確かである fact3: このぴよぴくLv.25は凛々しいならば「あのもにもちょLv.50は敷衍するということはなくて凛々しくない」ということは誤りだ
fact1 -> int1: このぴよぴくLv.25は努力する; int1 & fact2 -> int2: このぴよぴくLv.25は凛々しい; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぴよぴくLv.25は綻びるししかも努力する fact2: もし仮にこのぴよぴくLv.25は努力すれば「このぴよぴくLv.25は凛々しい」ということは確かである fact3: このぴよぴくLv.25は凛々しいならば「あのもにもちょLv.50は敷衍するということはなくて凛々しくない」ということは誤りだ ; $hypothesis$ = あのもにもちょLv.50は敷衍するということはなくてさらに凛々しくない ; $proof$ = 
fact1 -> int1: このぴよぴくLv.25は努力する; int1 & fact2 -> int2: このぴよぴくLv.25は凛々しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__