そのぴえぴにょLv.73は捗々しい
fact1: 「そのぴえぴにょLv.73は快諾する」ということは成り立つ fact2: 仮に「なにがしかのモンスターは御考え頂くが御遣りに成らない」ということは間違いだとしたら快諾する fact3: 仮にそのぴえぴにょLv.73が御考え頂けば捗々しい fact4: もしも何らかのモンスターは捗々しくないとすれば「御考え頂く一方で御遣りに成らない」ということは誤りだ fact5: 仮にそのぴえぴにょLv.73は御遣りに成るとすると「そのぴえぴにょLv.73は御考え頂く」ということは間違っているということはない
そのみゆみちょLv.33は快諾する
fact7 -> int1: もしも「そのみゆみちょLv.33は御考え頂く一方で御遣りに成らない」ということは誤っているならそのみゆみちょLv.33は快諾する; fact6 -> int2: もしそのみゆみちょLv.33は捗々しくないとすれば「そのみゆみちょLv.33は御考え頂くけど御遣りに成らない」ということは事実と異なる;
$facts$ = fact1: 「そのぴえぴにょLv.73は快諾する」ということは成り立つ fact2: 仮に「なにがしかのモンスターは御考え頂くが御遣りに成らない」ということは間違いだとしたら快諾する fact3: 仮にそのぴえぴにょLv.73が御考え頂けば捗々しい fact4: もしも何らかのモンスターは捗々しくないとすれば「御考え頂く一方で御遣りに成らない」ということは誤りだ fact5: 仮にそのぴえぴにょLv.73は御遣りに成るとすると「そのぴえぴにょLv.73は御考え頂く」ということは間違っているということはない ; $hypothesis$ = そのぴえぴにょLv.73は捗々しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__