懐こいということは起きない
fact1: 「もし仮に「懐こいということは起きなくていじらしいということは起こらない」ということは成り立たないならば慈悲深いということが生じる」ということは成り立つ
void -> assump1: 以下のように仮定する。「懐こいということは起こらなくてその上いじらしいということは起こらない」ということは嘘だ; fact1 & assump1 -> int1: 慈悲深いということが発生する;
void -> assump1: ¬(¬{AA} & ¬{AB}); fact1 & assump1 -> int1: {B};
$facts$ = fact1: 「もし仮に「懐こいということは起きなくていじらしいということは起こらない」ということは成り立たないならば慈悲深いということが生じる」ということは成り立つ ; $hypothesis$ = 懐こいということは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__