「あのアナルトリーは思しいということはないしかつ土生金でない」ということは成り立つということはない
fact1: あのアナルトリーは直り難い fact2: もしもあのアナルトリーが直り難いならばそれは思しいということはないしかつ土生金でない
$facts$ = fact1: あのアナルトリーは直り難い fact2: もしもあのアナルトリーが直り難いならばそれは思しいということはないしかつ土生金でない ; $hypothesis$ = 「あのアナルトリーは思しいということはないしかつ土生金でない」ということは成り立つということはない ; $proof$ = 
事実1: あのアナルトリーは直り難い
事実2: もしもあのアナルトリーが直り難いならばそれは思しいということはないしかつ土生金でない

仮説: 「あのアナルトリーは思しいということはないしかつ土生金でない」ということは成り立つということはない