「このぴねぴいLv.97は怪ししそれにそれは醜い」ということは事実と異なる
fact1: 仮にこのぴねぴいLv.97が打ち上がり易いならばそれは怪し fact2: このぴねぴいLv.97は醜い fact3: このぴねぴいLv.97は直り難くてそれに打ち上がり易い
fact3 -> int1: このぴねぴいLv.97は打ち上がり易い; int1 & fact1 -> int2: このぴねぴいLv.97は怪し; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこのぴねぴいLv.97が打ち上がり易いならばそれは怪し fact2: このぴねぴいLv.97は醜い fact3: このぴねぴいLv.97は直り難くてそれに打ち上がり易い ; $hypothesis$ = 「このぴねぴいLv.97は怪ししそれにそれは醜い」ということは事実と異なる ; $proof$ = 
fact3 -> int1: このぴねぴいLv.97は打ち上がり易い; int1 & fact1 -> int2: このぴねぴいLv.97は怪し; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__