そのデザインルールは踏み入る
fact1: 「「人間らしくないし現われ難くない」ということは成り立たない」物はある fact2: もしも「「人間らしくないしさらに現われ難くない」ということは偽な」ものがあるとしたらそのデザインルールは踏み入る
$facts$ = fact1: 「「人間らしくないし現われ難くない」ということは成り立たない」物はある fact2: もしも「「人間らしくないしさらに現われ難くない」ということは偽な」ものがあるとしたらそのデザインルールは踏み入る ; $hypothesis$ = そのデザインルールは踏み入る ; $proof$ = 
事実1: 「「人間らしくないし現われ難くない」ということは成り立たない」物はある
事実2: もしも「「人間らしくないしさらに現われ難くない」ということは偽な」ものがあるとしたらそのデザインルールは踏み入る

仮説: そのデザインルールは踏み入る