あのみにゃみえLv.43は可愛い
fact1: あのみにゃみえLv.43は見難い fact2: 毛深くないモンスターは可愛くて更に見難い fact3: あのみにゃみえLv.43は毛深い fact4: 仮に「なにがしかのモンスターは仰ぐし更に回りくどい」ということは嘘だとすると回りくどくない fact5: もし仮にあのみにゃみえLv.43が見難いしかつそれが毛深いとすればあのみにゃみえLv.43は可愛くない fact6: もしなにがしかのモンスターが回りくどくないならばそれが見難いしその上可愛い
fact1 & fact3 -> int1: あのみにゃみえLv.43は見難くて毛深い; int1 & fact5 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis;
あのまくまよLv.39は毛深い
fact8 -> int2: もしあのまくまよLv.39が回りくどくないならそれが見難いしその上それは可愛い; fact7 -> int3: 仮に「あのまくまよLv.39は仰ぐし加えてそれは回りくどい」ということは間違いであるならばそれは回りくどくない;
$facts$ = fact1: あのみにゃみえLv.43は見難い fact2: 毛深くないモンスターは可愛くて更に見難い fact3: あのみにゃみえLv.43は毛深い fact4: 仮に「なにがしかのモンスターは仰ぐし更に回りくどい」ということは嘘だとすると回りくどくない fact5: もし仮にあのみにゃみえLv.43が見難いしかつそれが毛深いとすればあのみにゃみえLv.43は可愛くない fact6: もしなにがしかのモンスターが回りくどくないならばそれが見難いしその上可愛い ; $hypothesis$ = あのみにゃみえLv.43は可愛い ; $proof$ = 
fact1 & fact3 -> int1: あのみにゃみえLv.43は見難くて毛深い; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis; __DISPROVED__