「仮にあのぷちゅぷくLv.92が曇り無しならそのまちゅまちょLv.53は涙ぐましい」ということは事実と異なる
fact1: 仮にそのぴちょぴくLv.99が曇り無しならばあのぷちゅぷくLv.92は持ち難い fact2: もし仮にあのぷちゅぷくLv.92が曇り無しとしたらそのぴちょぴくLv.99は持ち難い fact3: 持ち難いモンスターは曇り無し fact4: 仮にそのまちゅまちょLv.53は曇り無しならば「あのぷちゅぷくLv.92は涙ぐましい」ということは真実だ fact5: そのぴちょぴくLv.99は曇り無し fact6: あのぷちゅぷくLv.92は涙ぐましい
void -> assump1: 以下のように仮定する。あのぷちゅぷくLv.92は曇り無し; fact2 & assump1 -> int1: そのぴちょぴくLv.99は持ち難い;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
このもちょもなLv.41は曇り無し
fact7 -> int2: もしこのもちょもなLv.41が持ち難いなら曇り無し;
$facts$ = fact1: 仮にそのぴちょぴくLv.99が曇り無しならばあのぷちゅぷくLv.92は持ち難い fact2: もし仮にあのぷちゅぷくLv.92が曇り無しとしたらそのぴちょぴくLv.99は持ち難い fact3: 持ち難いモンスターは曇り無し fact4: 仮にそのまちゅまちょLv.53は曇り無しならば「あのぷちゅぷくLv.92は涙ぐましい」ということは真実だ fact5: そのぴちょぴくLv.99は曇り無し fact6: あのぷちゅぷくLv.92は涙ぐましい ; $hypothesis$ = 「仮にあのぷちゅぷくLv.92が曇り無しならそのまちゅまちょLv.53は涙ぐましい」ということは事実と異なる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__