「もしも真似出来るということはないかまたは忠実忠実しかないかまたは両方ともなら出現し易い」モンスターはいる
fact1: もしあるモンスターは真似出来ないかあるいは忠実忠実しかないかあるいは両方ともならそれは出現し易い fact2: 「仮に真似出来ないとすれば出現し易い」モンスターはいる fact3: もし仮にそのぴのぴちょLv.63が真似出来るということはないかまたは忠実忠実しいとしたらそのぴのぴちょLv.63は出現し易い fact4: もし仮にあのもよもにゃLv.35が忠実忠実しかないかあるいは運転し易いかあるいは両方ともだとすればそれは貧乏臭い
fact1 -> int1: そのぴのぴちょLv.63が真似出来ないかもしくは忠実忠実しかないならばそのぴのぴちょLv.63は出現し易い; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしあるモンスターは真似出来ないかあるいは忠実忠実しかないかあるいは両方ともならそれは出現し易い fact2: 「仮に真似出来ないとすれば出現し易い」モンスターはいる fact3: もし仮にそのぴのぴちょLv.63が真似出来るということはないかまたは忠実忠実しいとしたらそのぴのぴちょLv.63は出現し易い fact4: もし仮にあのもよもにゃLv.35が忠実忠実しかないかあるいは運転し易いかあるいは両方ともだとすればそれは貧乏臭い ; $hypothesis$ = 「もしも真似出来るということはないかまたは忠実忠実しかないかまたは両方ともなら出現し易い」モンスターはいる ; $proof$ = 
fact1 -> int1: そのぴのぴちょLv.63が真似出来ないかもしくは忠実忠実しかないならばそのぴのぴちょLv.63は出現し易い; int1 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__