このぴゆぴなLv.41は変化し易い
fact1: 仮に「停車しない」モンスターがいるとすればこのぽちゅぽえLv.16は変化し易いし乳臭い fact2: 仮に「あるモンスターは訝らなくて染みない」ということは偽なら停車するということはない fact3: もしこのぴゆぴなLv.41が乳臭いとしたらこのもちゃもくLv.43は停車する fact4: もしもこのぴゆぴなLv.41が乳臭くないならばそれは変化し易い fact5: 全てのモンスターは阿呆らしくない
void -> assump1: 以下のように仮定する。このぴゆぴなLv.41は乳臭い; fact3 & assump1 -> int1: このもちゃもくLv.43は停車する;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b};
このぽちゅぽえLv.16は変化し易い
fact7 -> int2: もし仮に「このぴゆぴなLv.41は訝るということはなくて更に染みない」ということは成り立たないならこのぴゆぴなLv.41は停車するということはない; fact6 -> int3: このもちゃもくLv.43は阿呆らしくない;
$facts$ = fact1: 仮に「停車しない」モンスターがいるとすればこのぽちゅぽえLv.16は変化し易いし乳臭い fact2: 仮に「あるモンスターは訝らなくて染みない」ということは偽なら停車するということはない fact3: もしこのぴゆぴなLv.41が乳臭いとしたらこのもちゃもくLv.43は停車する fact4: もしもこのぴゆぴなLv.41が乳臭くないならばそれは変化し易い fact5: 全てのモンスターは阿呆らしくない ; $hypothesis$ = このぴゆぴなLv.41は変化し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__