この呱々は減収でない
fact1: 「その日豊本線は減収だ」ということは成り立つ fact2: この呱々はＭＩＴだ fact3: その土木関連会社は減収だ fact4: この他企業は減収である fact5: この呱々は擦り減る fact6: あの台湾総督は減収である fact7: この呱々は留守役だ fact8: この呱々は尊し fact9: あの資金融通は減収である fact10: 「この呱々は減収だ」ということは本当である fact11: 「なんらかの物は変化し得るし加えて減収だ」ということは成り立たないとすればそれは減収だということはない
fact10 -> hypothesis;
この呱々は減収でない
fact12 -> int1: もしも「この呱々は変化し得るし減収である」ということは成り立たないならばそれは減収でない;
$facts$ = fact1: 「その日豊本線は減収だ」ということは成り立つ fact2: この呱々はＭＩＴだ fact3: その土木関連会社は減収だ fact4: この他企業は減収である fact5: この呱々は擦り減る fact6: あの台湾総督は減収である fact7: この呱々は留守役だ fact8: この呱々は尊し fact9: あの資金融通は減収である fact10: 「この呱々は減収だ」ということは本当である fact11: 「なんらかの物は変化し得るし加えて減収だ」ということは成り立たないとすればそれは減収だということはない ; $hypothesis$ = この呱々は減収でない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「その日豊本線は減収だ」ということは成り立つ
事実2: この呱々はＭＩＴだ
事実3: その土木関連会社は減収だ
事実4: この他企業は減収である
事実5: この呱々は擦り減る
事実6: あの台湾総督は減収である
事実7: この呱々は留守役だ
事実8: この呱々は尊し
事実9: あの資金融通は減収である
事実10: 「この呱々は減収だ」ということは本当である
事実11: 「なんらかの物は変化し得るし加えて減収だ」ということは成り立たないとすればそれは減収だということはない

仮説: この呱々は減収でない
1. 事実10から、仮説が否定される

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