「もしも信心深いなら「厳つかなくてその上汚れ易くない」ということは成り立つということはない」モンスターはいる
fact1: 「もし「信心深い」ということは成り立つとすれば厳つかないし汚れ易くない」モンスターはいる
$facts$ = fact1: 「もし「信心深い」ということは成り立つとすれば厳つかないし汚れ易くない」モンスターはいる ; $hypothesis$ = 「もしも信心深いなら「厳つかなくてその上汚れ易くない」ということは成り立つということはない」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__