「「このもちょもちゃLv.26は泣き噦るしそれは遣り難い」ということは事実と異ならない」ということは間違いだ
fact1: このぷにゅぷよLv.51は泣き噦る fact2: このもちょもちゃLv.26は遣り難い fact3: 「このもちょもちゃLv.26は偏り易い」ということは本当だ fact4: このもちょもちゃLv.26は泣き噦るしそれは偏り易い
fact4 -> int1: このもちょもちゃLv.26は泣き噦る; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぷにゅぷよLv.51は泣き噦る fact2: このもちょもちゃLv.26は遣り難い fact3: 「このもちょもちゃLv.26は偏り易い」ということは本当だ fact4: このもちょもちゃLv.26は泣き噦るしそれは偏り易い ; $hypothesis$ = 「「このもちょもちゃLv.26は泣き噦るしそれは遣り難い」ということは事実と異ならない」ということは間違いだ ; $proof$ = 
fact4 -> int1: このもちょもちゃLv.26は泣き噦る; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__