「このまゆまちゃLv.37は除雪するし薄暗い」ということは正しくない
fact1: このまゆまちゃLv.37は除雪する fact2: このまゆまちゃLv.37は疲労し易くて白々しい fact3: そのぴねぴねLv.58は座視出来るし更に先行する fact4: このまゆまちゃLv.37は薄暗いし先行する
fact4 -> int1: 「このまゆまちゃLv.37は薄暗くない」ということは嘘である; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このまゆまちゃLv.37は除雪する fact2: このまゆまちゃLv.37は疲労し易くて白々しい fact3: そのぴねぴねLv.58は座視出来るし更に先行する fact4: このまゆまちゃLv.37は薄暗いし先行する ; $hypothesis$ = 「このまゆまちゃLv.37は除雪するし薄暗い」ということは正しくない ; $proof$ = 
fact4 -> int1: 「このまゆまちゃLv.37は薄暗くない」ということは嘘である; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__