「「仲間らしいものはある」ということは正しい」ということは誤りだ
fact1: もし仮にその諸県が安心出来るとすればあのメキシコ人は仲間らしい fact2: もし仮に何らかの物が安心出来るとすると腹立たしい fact3: なにがしかの物は起き難い fact4: もしもあのクリーンルームが腹立たしいとしたらその諸県は安心出来る fact5: 「あのクリーンルームは意地悪くない」ということは間違っていないならばあのメキシコ人は仲間らしいししかもそれは安心出来る fact6: あのクリーンルームは腹立たしい
fact4 & fact6 -> int1: その諸県は安心出来る; int1 & fact1 -> int2: あのメキシコ人は仲間らしい; int2 -> hypothesis;
あのメキシコ人は腹立たしい
fact8 -> int3: もし仮にあのメキシコ人が安心出来るとするとそれは腹立たしい;
$facts$ = fact1: もし仮にその諸県が安心出来るとすればあのメキシコ人は仲間らしい fact2: もし仮に何らかの物が安心出来るとすると腹立たしい fact3: なにがしかの物は起き難い fact4: もしもあのクリーンルームが腹立たしいとしたらその諸県は安心出来る fact5: 「あのクリーンルームは意地悪くない」ということは間違っていないならばあのメキシコ人は仲間らしいししかもそれは安心出来る fact6: あのクリーンルームは腹立たしい ; $hypothesis$ = 「「仲間らしいものはある」ということは正しい」ということは誤りだ ; $proof$ = 
fact4 & fact6 -> int1: その諸県は安心出来る; int1 & fact1 -> int2: あのメキシコ人は仲間らしい; int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその諸県が安心出来るとすればあのメキシコ人は仲間らしい
事実2: もし仮に何らかの物が安心出来るとすると腹立たしい
事実3: なにがしかの物は起き難い
事実4: もしもあのクリーンルームが腹立たしいとしたらその諸県は安心出来る
事実5: 「あのクリーンルームは意地悪くない」ということは間違っていないならばあのメキシコ人は仲間らしいししかもそれは安心出来る
事実6: あのクリーンルームは腹立たしい

仮説: 「「仲間らしいものはある」ということは正しい」ということは誤りだ
1. 事実4と事実6から、推論1: "その諸県は安心出来る"が導かれる
2. 推論1と事実1から、推論2: "あのメキシコ人は仲間らしい"が導かれる
3. 推論2から、仮説が否定される

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