このリドカインは防火管理者でない
fact1: その表現内容は防火管理者である fact2: その車上は防火管理者だ fact3: もし仮にこのリドカインはこっ酷いということはないならば「それは生くということはないが分かり難い」ということは事実と異なる fact4: その刊本は防火管理者である fact5: このリドカインは焼却処分する fact6: その大事さは防火管理者である fact7: あの鮮度は防火管理者である fact8: 「このリドカインは固定化する」ということは成り立つ fact9: このリドカインは節減する fact10: このリドカインは防火管理者だ fact11: このリドカインは免れ難い fact12: もし仮に「なにがしかのものは生かないけどそれは分かり難い」ということは嘘だとしたらそれは防火管理者でない fact13: このリドカインは予知出来る fact14: 分かり難いものは防火管理者である fact15: その分詞は防火管理者だ
fact10 -> hypothesis;
fact10 -> hypothesis;
このリドカインは防火管理者でない
fact16 -> int1: もし「このリドカインは生かないけど分かり難い」ということは成り立つということはないとすれば防火管理者でない;
$facts$ = fact1: その表現内容は防火管理者である fact2: その車上は防火管理者だ fact3: もし仮にこのリドカインはこっ酷いということはないならば「それは生くということはないが分かり難い」ということは事実と異なる fact4: その刊本は防火管理者である fact5: このリドカインは焼却処分する fact6: その大事さは防火管理者である fact7: あの鮮度は防火管理者である fact8: 「このリドカインは固定化する」ということは成り立つ fact9: このリドカインは節減する fact10: このリドカインは防火管理者だ fact11: このリドカインは免れ難い fact12: もし仮に「なにがしかのものは生かないけどそれは分かり難い」ということは嘘だとしたらそれは防火管理者でない fact13: このリドカインは予知出来る fact14: 分かり難いものは防火管理者である fact15: その分詞は防火管理者だ ; $hypothesis$ = このリドカインは防火管理者でない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: その表現内容は防火管理者である
事実2: その車上は防火管理者だ
事実3: もし仮にこのリドカインはこっ酷いということはないならば「それは生くということはないが分かり難い」ということは事実と異なる
事実4: その刊本は防火管理者である
事実5: このリドカインは焼却処分する
事実6: その大事さは防火管理者である
事実7: あの鮮度は防火管理者である
事実8: 「このリドカインは固定化する」ということは成り立つ
事実9: このリドカインは節減する
事実10: このリドカインは防火管理者だ
事実11: このリドカインは免れ難い
事実12: もし仮に「なにがしかのものは生かないけどそれは分かり難い」ということは嘘だとしたらそれは防火管理者でない
事実13: このリドカインは予知出来る
事実14: 分かり難いものは防火管理者である
事実15: その分詞は防火管理者だ

仮説: このリドカインは防火管理者でない
1. 事実10から、仮説が否定される

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