「「仮に延納でないとするとワンルームだがウィニーでない」物はある」ということは間違っている
fact1: 「延納でないとするとワンルームな」物はある fact2: もしもその雄猫は延納でないとするとそれはワンルームでウィニーである fact3: 「「延納だ」ということは正しいとするとワンルームであるがウィニーでない」物はある fact4: もしもその雄猫が延納だとしたらそれはワンルームだがしかしウィニーだということはない fact5: 「その雄猫が延納でないとするとその雄猫がワンルームだけどそれはウィニーでない」ということは事実である fact6: 「もし延納でないとするとウィニーでない」ものはある fact7: 「主食でないならばシャオジェであるけれど暗しない」物はある fact8: もしも「その雄猫は延納でない」ということは成り立つとしたらそれはワンルームだ fact9: 「仮に延納だということはないとするとワンルームであるし加えてウィニーな」ものはある
fact5 -> hypothesis;
$facts$ = fact1: 「延納でないとするとワンルームな」物はある fact2: もしもその雄猫は延納でないとするとそれはワンルームでウィニーである fact3: 「「延納だ」ということは正しいとするとワンルームであるがウィニーでない」物はある fact4: もしもその雄猫が延納だとしたらそれはワンルームだがしかしウィニーだということはない fact5: 「その雄猫が延納でないとするとその雄猫がワンルームだけどそれはウィニーでない」ということは事実である fact6: 「もし延納でないとするとウィニーでない」ものはある fact7: 「主食でないならばシャオジェであるけれど暗しない」物はある fact8: もしも「その雄猫は延納でない」ということは成り立つとしたらそれはワンルームだ fact9: 「仮に延納だということはないとするとワンルームであるし加えてウィニーな」ものはある ; $hypothesis$ = 「「仮に延納でないとするとワンルームだがウィニーでない」物はある」ということは間違っている ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「延納でないとするとワンルームな」物はある
事実2: もしもその雄猫は延納でないとするとそれはワンルームでウィニーである
事実3: 「「延納だ」ということは正しいとするとワンルームであるがウィニーでない」物はある
事実4: もしもその雄猫が延納だとしたらそれはワンルームだがしかしウィニーだということはない
事実5: 「その雄猫が延納でないとするとその雄猫がワンルームだけどそれはウィニーでない」ということは事実である
事実6: 「もし延納でないとするとウィニーでない」ものはある
事実7: 「主食でないならばシャオジェであるけれど暗しない」物はある
事実8: もしも「その雄猫は延納でない」ということは成り立つとしたらそれはワンルームだ
事実9: 「仮に延納だということはないとするとワンルームであるし加えてウィニーな」ものはある

仮説: 「「仮に延納でないとするとワンルームだがウィニーでない」物はある」ということは間違っている
1. 事実5から、仮説が否定される

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