この証券子会社は御臨終でない
fact1: この証券子会社はぎごちない fact2: この証券子会社は家庭電化時代だ fact3: この証券子会社は解し難い fact4: この九十七年時点は御臨終だ fact5: その政府問題共同体は御臨終である fact6: 「この証券子会社は御臨終である」ということは真実である fact7: その日和見主義は御臨終である fact8: この証券子会社は日本商法でないとすると最古参でない一方で暖簾だ fact9: この証券子会社は立て易い fact10: ミサイルは日本商法でない fact11: 「この証券子会社は伸び易い」ということは事実である fact12: この爆破は御臨終だ fact13: この前庭窓は御臨終である fact14: この証券子会社は素っ破抜く fact15: この証券子会社は罵声である fact16: この青系は御臨終である fact17: その反対取り引きは御臨終だ
fact6 -> hypothesis;
fact6 -> hypothesis;
あの赤紙は御臨終である
fact18 -> int1: 仮にこの証券子会社はミサイルであるならば日本商法でない;
$facts$ = fact1: この証券子会社はぎごちない fact2: この証券子会社は家庭電化時代だ fact3: この証券子会社は解し難い fact4: この九十七年時点は御臨終だ fact5: その政府問題共同体は御臨終である fact6: 「この証券子会社は御臨終である」ということは真実である fact7: その日和見主義は御臨終である fact8: この証券子会社は日本商法でないとすると最古参でない一方で暖簾だ fact9: この証券子会社は立て易い fact10: ミサイルは日本商法でない fact11: 「この証券子会社は伸び易い」ということは事実である fact12: この爆破は御臨終だ fact13: この前庭窓は御臨終である fact14: この証券子会社は素っ破抜く fact15: この証券子会社は罵声である fact16: この青系は御臨終である fact17: その反対取り引きは御臨終だ ; $hypothesis$ = この証券子会社は御臨終でない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: この証券子会社はぎごちない
事実2: この証券子会社は家庭電化時代だ
事実3: この証券子会社は解し難い
事実4: この九十七年時点は御臨終だ
事実5: その政府問題共同体は御臨終である
事実6: 「この証券子会社は御臨終である」ということは真実である
事実7: その日和見主義は御臨終である
事実8: この証券子会社は日本商法でないとすると最古参でない一方で暖簾だ
事実9: この証券子会社は立て易い
事実10: ミサイルは日本商法でない
事実11: 「この証券子会社は伸び易い」ということは事実である
事実12: この爆破は御臨終だ
事実13: この前庭窓は御臨終である
事実14: この証券子会社は素っ破抜く
事実15: この証券子会社は罵声である
事実16: この青系は御臨終である
事実17: その反対取り引きは御臨終だ

仮説: この証券子会社は御臨終でない
1. 事実6から、仮説が否定される

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