あのまくまにゃLv.65は読み難くない
fact1: あのまくまにゃLv.65は打ち難い fact2: もしあのまくまにゃLv.65が思しいならば更生する fact3: あのまくまにゃLv.65が読み難いとするとあのまくまにゃLv.65は払える fact4: あのまくまにゃLv.65は思しいし打ち難い fact5: そのぽちゅぽにょLv.91は更生する fact6: あのまくまにゃLv.65は打ち難いしその上地中深い fact7: あのまくまにゃLv.65が更生すればあのまくまにゃLv.65は読み難い fact8: もしもあのまいまにLv.73が読み難くないとするとあのまくまにゃLv.65は読み難くない
fact4 -> int1: あのまくまにゃLv.65は思しい; int1 & fact2 -> int2: あのまくまにゃLv.65は更生する; int2 & fact7 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
あのまくまにゃLv.65は読み難くない
$facts$ = fact1: あのまくまにゃLv.65は打ち難い fact2: もしあのまくまにゃLv.65が思しいならば更生する fact3: あのまくまにゃLv.65が読み難いとするとあのまくまにゃLv.65は払える fact4: あのまくまにゃLv.65は思しいし打ち難い fact5: そのぽちゅぽにょLv.91は更生する fact6: あのまくまにゃLv.65は打ち難いしその上地中深い fact7: あのまくまにゃLv.65が更生すればあのまくまにゃLv.65は読み難い fact8: もしもあのまいまにLv.73が読み難くないとするとあのまくまにゃLv.65は読み難くない ; $hypothesis$ = あのまくまにゃLv.65は読み難くない ; $proof$ = 
fact4 -> int1: あのまくまにゃLv.65は思しい; int1 & fact2 -> int2: あのまくまにゃLv.65は更生する; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __DISPROVED__