その飛鳥時代はアロマキャンドルであるということはない
fact1: その弱々しさは焼き尽くさない fact2: 御仕えはアロマキャンドルでない fact3: 仮になにかは危ういか御仕えだとしたらそれはアロマキャンドルでない fact4: あの資産グループは焼き尽くさない fact5: 「もしあの資産グループは焼き尽くさないとすると「その飛鳥時代は対象自体だ」ということは正しい」ということは成り立つ fact6: もしもあの資産グループは焼き尽くさないとしたら「その飛鳥時代が対象自体だしそれは危うい」ということは正しい fact7: その飛鳥時代は対象自体である
fact6 & fact4 -> int1: その飛鳥時代は対象自体であるしさらに危うい; int1 -> int2: その飛鳥時代は危うい; int2 -> int3: その飛鳥時代は危ういかまたは御仕えだ; fact3 -> int4: もし仮にその飛鳥時代は危ういかもしくは御仕えであるかもしくは両方であるとすればそれはアロマキャンドルでない; int3 & int4 -> hypothesis;
$facts$ = fact1: その弱々しさは焼き尽くさない fact2: 御仕えはアロマキャンドルでない fact3: 仮になにかは危ういか御仕えだとしたらそれはアロマキャンドルでない fact4: あの資産グループは焼き尽くさない fact5: 「もしあの資産グループは焼き尽くさないとすると「その飛鳥時代は対象自体だ」ということは正しい」ということは成り立つ fact6: もしもあの資産グループは焼き尽くさないとしたら「その飛鳥時代が対象自体だしそれは危うい」ということは正しい fact7: その飛鳥時代は対象自体である ; $hypothesis$ = その飛鳥時代はアロマキャンドルであるということはない ; $proof$ = 
fact6 & fact4 -> int1: その飛鳥時代は対象自体であるしさらに危うい; int1 -> int2: その飛鳥時代は危うい; int2 -> int3: その飛鳥時代は危ういかまたは御仕えだ; fact3 -> int4: もし仮にその飛鳥時代は危ういかもしくは御仕えであるかもしくは両方であるとすればそれはアロマキャンドルでない; int3 & int4 -> hypothesis; __PROVED__
事実1: その弱々しさは焼き尽くさない
事実2: 御仕えはアロマキャンドルでない
事実3: 仮になにかは危ういか御仕えだとしたらそれはアロマキャンドルでない
事実4: あの資産グループは焼き尽くさない
事実5: 「もしあの資産グループは焼き尽くさないとすると「その飛鳥時代は対象自体だ」ということは正しい」ということは成り立つ
事実6: もしもあの資産グループは焼き尽くさないとしたら「その飛鳥時代が対象自体だしそれは危うい」ということは正しい
事実7: その飛鳥時代は対象自体である

仮説: その飛鳥時代はアロマキャンドルであるということはない
1. 事実6と事実4から、推論1: "その飛鳥時代は対象自体であるしさらに危うい"が導かれる
2. 推論1から、推論2: "その飛鳥時代は危うい"が導かれる
3. 推論2から、推論3: "その飛鳥時代は危ういかまたは御仕えだ"が導かれる
4. 事実3から、推論4: "もし仮にその飛鳥時代は危ういかもしくは御仕えであるかもしくは両方であるとすればそれはアロマキャンドルでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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