その労働者層は推移グラフである
fact1: 仮にこのインパネ周りが限り無いとすればカタコンベだということはない fact2: 「このインパネ周りは限り無い」ということは本当だとしたら推移グラフだということはない fact3: このインパネ周りは限り無い fact4: その労働者層はカタコンベでない fact5: このインパネ周りがカタコンベでないとしたらその国王一家は口惜しいかまたはデータベース化する fact6: もしその国王一家がデータベース化するとするとその労働者層は推移グラフである fact7: もしも「その国王一家は口惜しい」ということは事実であるとしたら「その労働者層は推移グラフだ」ということは嘘でない fact8: その労働者層は推移グラフであるか限り無いかもしくは両方ともである
fact1 & fact3 -> int1: このインパネ周りはカタコンベでない; int1 & fact5 -> int2: その国王一家は口惜しいかあるいはそれはデータベース化するかどちらもである; int2 & fact7 & fact6 -> hypothesis;
$facts$ = fact1: 仮にこのインパネ周りが限り無いとすればカタコンベだということはない fact2: 「このインパネ周りは限り無い」ということは本当だとしたら推移グラフだということはない fact3: このインパネ周りは限り無い fact4: その労働者層はカタコンベでない fact5: このインパネ周りがカタコンベでないとしたらその国王一家は口惜しいかまたはデータベース化する fact6: もしその国王一家がデータベース化するとするとその労働者層は推移グラフである fact7: もしも「その国王一家は口惜しい」ということは事実であるとしたら「その労働者層は推移グラフだ」ということは嘘でない fact8: その労働者層は推移グラフであるか限り無いかもしくは両方ともである ; $hypothesis$ = その労働者層は推移グラフである ; $proof$ = 
fact1 & fact3 -> int1: このインパネ周りはカタコンベでない; int1 & fact5 -> int2: その国王一家は口惜しいかあるいはそれはデータベース化するかどちらもである; int2 & fact7 & fact6 -> hypothesis; __PROVED__
事実1: 仮にこのインパネ周りが限り無いとすればカタコンベだということはない
事実2: 「このインパネ周りは限り無い」ということは本当だとしたら推移グラフだということはない
事実3: このインパネ周りは限り無い
事実4: その労働者層はカタコンベでない
事実5: このインパネ周りがカタコンベでないとしたらその国王一家は口惜しいかまたはデータベース化する
事実6: もしその国王一家がデータベース化するとするとその労働者層は推移グラフである
事実7: もしも「その国王一家は口惜しい」ということは事実であるとしたら「その労働者層は推移グラフだ」ということは嘘でない
事実8: その労働者層は推移グラフであるか限り無いかもしくは両方ともである

仮説: その労働者層は推移グラフである
1. 事実1と事実3から、推論1: "このインパネ周りはカタコンベでない"が導かれる
2. 推論1と事実5から、推論2: "その国王一家は口惜しいかあるいはそれはデータベース化するかどちらもである"が導かれる
3. 推論2と事実7と事実6から、仮説が導かれる

よって、仮説が証明されました。