「「仄白いかあるいは泳がすかまたは両方ともである」モンスターはいる」ということは誤っている
fact1: このぴくぴちょLv.92は細長いならば「あのもちょもゆLv.44は仄白い」ということは正しい fact2: あのもちょもゆLv.44は心深し fact3: もしもあのもちょもゆLv.44が細長いとするとこのぴくぴちょLv.92は仄白い fact4: とあるモンスターは細長いかまたはそれは泳がすかあるいは両方ともである fact5: このぴくぴちょLv.92は細長い
fact1 & fact5 -> int1: あのもちょもゆLv.44は仄白い; int1 -> int2: あのもちょもゆLv.44は仄白いか泳がすかまたは両方である; int2 -> hypothesis;
fact1 & fact5 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis;
$facts$ = fact1: このぴくぴちょLv.92は細長いならば「あのもちょもゆLv.44は仄白い」ということは正しい fact2: あのもちょもゆLv.44は心深し fact3: もしもあのもちょもゆLv.44が細長いとするとこのぴくぴちょLv.92は仄白い fact4: とあるモンスターは細長いかまたはそれは泳がすかあるいは両方ともである fact5: このぴくぴちょLv.92は細長い ; $hypothesis$ = 「「仄白いかあるいは泳がすかまたは両方ともである」モンスターはいる」ということは誤っている ; $proof$ = 
fact1 & fact5 -> int1: あのもちょもゆLv.44は仄白い; int1 -> int2: あのもちょもゆLv.44は仄白いか泳がすかまたは両方である; int2 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis; __DISPROVED__