「「「リバース・アウトサイド・スイブルだけど作出しない」ということは成り立たないとすれば金属作りでない」ものはある」ということは成り立つということはない
fact1: 「仮に「「その放浪記はリバース・アウトサイド・スイブルであるけれど作出しない」ということは真実だ」ということは事実と異なるとしたらその放浪記は金属作りでない」ということは成り立つ fact2: 「もし「リバース・アウトサイド・スイブルであるし作出する」ということは誤りであるとしたら金属作りでない」物はある fact3: 仮に「なんらかのものはホルンだ一方で金属作りでない」ということは間違っていればそれは古めかしくない fact4: 「「「リバース・アウトサイド・スイブルであるし作出するということはない」ということは事実と異なるなら金属作りである」ものはある」ということは真実だ
fact1 -> hypothesis;
fact1 -> hypothesis;
もし「この亜鉛はホルンだが金属作りでない」ということは間違いであるならば古めかしくない
fact5 -> hypothesis;
$facts$ = fact1: 「仮に「「その放浪記はリバース・アウトサイド・スイブルであるけれど作出しない」ということは真実だ」ということは事実と異なるとしたらその放浪記は金属作りでない」ということは成り立つ fact2: 「もし「リバース・アウトサイド・スイブルであるし作出する」ということは誤りであるとしたら金属作りでない」物はある fact3: 仮に「なんらかのものはホルンだ一方で金属作りでない」ということは間違っていればそれは古めかしくない fact4: 「「「リバース・アウトサイド・スイブルであるし作出するということはない」ということは事実と異なるなら金属作りである」ものはある」ということは真実だ ; $hypothesis$ = 「「「リバース・アウトサイド・スイブルだけど作出しない」ということは成り立たないとすれば金属作りでない」ものはある」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「仮に「「その放浪記はリバース・アウトサイド・スイブルであるけれど作出しない」ということは真実だ」ということは事実と異なるとしたらその放浪記は金属作りでない」ということは成り立つ
事実2: 「もし「リバース・アウトサイド・スイブルであるし作出する」ということは誤りであるとしたら金属作りでない」物はある
事実3: 仮に「なんらかのものはホルンだ一方で金属作りでない」ということは間違っていればそれは古めかしくない
事実4: 「「「リバース・アウトサイド・スイブルであるし作出するということはない」ということは事実と異なるなら金属作りである」ものはある」ということは真実だ

仮説: 「「「リバース・アウトサイド・スイブルだけど作出しない」ということは成り立たないとすれば金属作りでない」ものはある」ということは成り立つということはない
1. 事実1から、仮説が否定される

よって、仮説が否定されました。