「その門弟はとろ臭いということはなくてかつ進学しない」ということは間違いだ
fact1: もしこの社内基幹システムはネンミョンであるとしたら進学する fact2: 「この社内基幹システムはネンミョンでかつそれは飽きっぽい」ということは成り立つということはない fact3: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは嘘だとすると進学する fact4: もしもこの社内基幹システムが進学するとすればその門弟はとろ臭くない fact5: 「この社内基幹システムはとろ臭くないがそれは誕生時だ」ということは間違いである fact6: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは成り立つということはない fact7: 「この社内基幹システムは進学する」ということは正しいとすれば「その門弟がとろ臭いということはないしその上進学しない」ということは確かだ fact8: 「その門弟はとろ臭いということはない」ということは間違っていない
fact3 & fact6 -> int1: この社内基幹システムは進学する; int1 & fact7 -> hypothesis;
$facts$ = fact1: もしこの社内基幹システムはネンミョンであるとしたら進学する fact2: 「この社内基幹システムはネンミョンでかつそれは飽きっぽい」ということは成り立つということはない fact3: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは嘘だとすると進学する fact4: もしもこの社内基幹システムが進学するとすればその門弟はとろ臭くない fact5: 「この社内基幹システムはとろ臭くないがそれは誕生時だ」ということは間違いである fact6: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは成り立つということはない fact7: 「この社内基幹システムは進学する」ということは正しいとすれば「その門弟がとろ臭いということはないしその上進学しない」ということは確かだ fact8: 「その門弟はとろ臭いということはない」ということは間違っていない ; $hypothesis$ = 「その門弟はとろ臭いということはなくてかつ進学しない」ということは間違いだ ; $proof$ = 
fact3 & fact6 -> int1: この社内基幹システムは進学する; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしこの社内基幹システムはネンミョンであるとしたら進学する
事実2: 「この社内基幹システムはネンミョンでかつそれは飽きっぽい」ということは成り立つということはない
事実3: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは嘘だとすると進学する
事実4: もしもこの社内基幹システムが進学するとすればその門弟はとろ臭くない
事実5: 「この社内基幹システムはとろ臭くないがそれは誕生時だ」ということは間違いである
事実6: 「この社内基幹システムはネンミョンでない一方で飽きっぽい」ということは成り立つということはない
事実7: 「この社内基幹システムは進学する」ということは正しいとすれば「その門弟がとろ臭いということはないしその上進学しない」ということは確かだ
事実8: 「その門弟はとろ臭いということはない」ということは間違っていない

仮説: 「その門弟はとろ臭いということはなくてかつ進学しない」ということは間違いだ
1. 事実3と事実6から、推論1: "この社内基幹システムは進学する"が導かれる
2. 推論1と事実7から、仮説が否定される

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