「「四世紀だとすると寝苦しくないけどせこい」物はある」ということは正しいということはない
fact1: 「「四世紀だ」ということは正しいならば寝苦しいしせこい」ものはある fact2: 仮にその無産階級が四世紀だとしたらそれは寝苦しくてせこい fact3: もしその無産階級が四世紀だとするとそれは寝苦しくないけれどせこい fact4: 垣間見は見難くないが療法家である fact5: 「仮に四世紀ならば寝苦しくない」物はある fact6: 「もし仮に四世紀だとしたらせこい」ものはある fact7: もしもその無産階級は四世紀であるとするとせこい
fact3 -> hypothesis;
fact3 -> hypothesis;
「もし仮に垣間見であるとすると見難くないけれど療法家である」物はある
fact8 -> int1: あの播磨屋は垣間見であるとすれば見難くないが療法家である; int1 -> hypothesis;
$facts$ = fact1: 「「四世紀だ」ということは正しいならば寝苦しいしせこい」ものはある fact2: 仮にその無産階級が四世紀だとしたらそれは寝苦しくてせこい fact3: もしその無産階級が四世紀だとするとそれは寝苦しくないけれどせこい fact4: 垣間見は見難くないが療法家である fact5: 「仮に四世紀ならば寝苦しくない」物はある fact6: 「もし仮に四世紀だとしたらせこい」ものはある fact7: もしもその無産階級は四世紀であるとするとせこい ; $hypothesis$ = 「「四世紀だとすると寝苦しくないけどせこい」物はある」ということは正しいということはない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「「四世紀だ」ということは正しいならば寝苦しいしせこい」ものはある
事実2: 仮にその無産階級が四世紀だとしたらそれは寝苦しくてせこい
事実3: もしその無産階級が四世紀だとするとそれは寝苦しくないけれどせこい
事実4: 垣間見は見難くないが療法家である
事実5: 「仮に四世紀ならば寝苦しくない」物はある
事実6: 「もし仮に四世紀だとしたらせこい」ものはある
事実7: もしもその無産階級は四世紀であるとするとせこい

仮説: 「「四世紀だとすると寝苦しくないけどせこい」物はある」ということは正しいということはない
1. 事実3から、仮説が否定される

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