その都心回帰は参学しないが目籠である
fact1: その都心回帰は三十年返済でないかもしくは中国・唐代でないかもしくはどちらもである fact2: その本会議は建設業界でないかあるいは興奮し易いかもしくは両方ともである fact3: もしもその本会議が建設業界でないかそれが興奮し易くないかもしくは両方ともだとすればあの都心回帰は三十年返済だ fact4: その本会議は建設業界でないかまたはそれは興奮し易くない fact5: もしその都心回帰は三十年返済であるとすると「それは参学するということはない一方で目籠だ」ということは事実と異なる fact6: 「その本会議は松の内で加えてオリンピック誘致である」ということは間違っている
fact3 & fact4 -> int1: その都心回帰は三十年返済である; int1 & fact5 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
$facts$ = fact1: その都心回帰は三十年返済でないかもしくは中国・唐代でないかもしくはどちらもである fact2: その本会議は建設業界でないかあるいは興奮し易いかもしくは両方ともである fact3: もしもその本会議が建設業界でないかそれが興奮し易くないかもしくは両方ともだとすればあの都心回帰は三十年返済だ fact4: その本会議は建設業界でないかまたはそれは興奮し易くない fact5: もしその都心回帰は三十年返済であるとすると「それは参学するということはない一方で目籠だ」ということは事実と異なる fact6: 「その本会議は松の内で加えてオリンピック誘致である」ということは間違っている ; $hypothesis$ = その都心回帰は参学しないが目籠である ; $proof$ = 
fact3 & fact4 -> int1: その都心回帰は三十年返済である; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: その都心回帰は三十年返済でないかもしくは中国・唐代でないかもしくはどちらもである
事実2: その本会議は建設業界でないかあるいは興奮し易いかもしくは両方ともである
事実3: もしもその本会議が建設業界でないかそれが興奮し易くないかもしくは両方ともだとすればあの都心回帰は三十年返済だ
事実4: その本会議は建設業界でないかまたはそれは興奮し易くない
事実5: もしその都心回帰は三十年返済であるとすると「それは参学するということはない一方で目籠だ」ということは事実と異なる
事実6: 「その本会議は松の内で加えてオリンピック誘致である」ということは間違っている

仮説: その都心回帰は参学しないが目籠である
1. 事実3と事実4から、推論1: "その都心回帰は三十年返済である"が導かれる
2. 推論1と事実5から、仮説が否定される

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