ちっちゃいということは起きない
fact1: みにょみいLv.12事件はぴわぴちゃLv.37事件をもたらす fact2: 報復することが生じる fact3: 言い訳がましいということが起こる fact4: ぴわぴちゃLv.37事件は「ちっちゃいということは発生しないしその上言い訳がましいということは生じない」ということを招く
fact3 -> int1: 言い訳がましいということが起こる;
fact3 -> int1: {A};
ちっちゃいということは起きない
$facts$ = fact1: みにょみいLv.12事件はぴわぴちゃLv.37事件をもたらす fact2: 報復することが生じる fact3: 言い訳がましいということが起こる fact4: ぴわぴちゃLv.37事件は「ちっちゃいということは発生しないしその上言い訳がましいということは生じない」ということを招く ; $hypothesis$ = ちっちゃいということは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__