もしもこの鼠算式が貧乏する一方でそれが嫌悪するということはないならばそれは小賢しい
fact1: もし仮になんらかのものが貧乏する一方でそれは嫌悪しないなら「小賢しい」ということは本当である
$facts$ = fact1: もし仮になんらかのものが貧乏する一方でそれは嫌悪しないなら「小賢しい」ということは本当である ; $hypothesis$ = もしもこの鼠算式が貧乏する一方でそれが嫌悪するということはないならばそれは小賢しい ; $proof$ = 
事実1: もし仮になんらかのものが貧乏する一方でそれは嫌悪しないなら「小賢しい」ということは本当である

仮説: もしもこの鼠算式が貧乏する一方でそれが嫌悪するということはないならばそれは小賢しい