「「塩辛いし焦げ臭い」モンスターはいる」ということは成り立たない
fact1: もし仮に「あのまやまなLv.65は帯同する」ということは事実であるとしたらこのぴなぴにょLv.91は塩辛い fact2: あのまやまなLv.65は帯同する fact3: 「塩辛い」モンスターはいる fact4: このぴなぴにょLv.91は焦げ臭い fact5: あるモンスターは焦げ臭い
fact1 & fact2 -> int1: このぴなぴにょLv.91は塩辛い; int1 & fact4 -> int2: このぴなぴにょLv.91は塩辛いし更に焦げ臭い; int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis;
$facts$ = fact1: もし仮に「あのまやまなLv.65は帯同する」ということは事実であるとしたらこのぴなぴにょLv.91は塩辛い fact2: あのまやまなLv.65は帯同する fact3: 「塩辛い」モンスターはいる fact4: このぴなぴにょLv.91は焦げ臭い fact5: あるモンスターは焦げ臭い ; $hypothesis$ = 「「塩辛いし焦げ臭い」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: このぴなぴにょLv.91は塩辛い; int1 & fact4 -> int2: このぴなぴにょLv.91は塩辛いし更に焦げ臭い; int2 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis; __DISPROVED__