もし仮にあのタイムズ社が装飾品ならあの見える化は売り難い
fact1: もしもこのテムプル騎士団が買えればこの闘争委員は広い fact2: あの見える化は広い fact3: もしとある物が広くなくておまけにそれが買えないとしたらあの見える化は売り難い fact4: もしもあのタイムズ社が装飾品であるとしたらこのテムプル騎士団は台選びである fact5: なんらかのものは広くない fact6: 「仮にこのテムプル騎士団が台選びならばこの闘争委員は広くなくて加えて買えない」ということは正しい fact7: なんらかのものが広くなくて更に装飾品だということはないとするとあのタイムズ社は台選びだ fact8: この闘争委員は広くない
void -> assump1: 以下のように仮定する。あのタイムズ社は装飾品である; fact4 & assump1 -> int1: このテムプル騎士団は台選びだ; int1 & fact6 -> int2: この闘争委員は広くないし加えて買えるということはない; int2 -> int3: 「広くないし買えない」ものはある; int3 & fact3 -> int4: あの見える化は売り難い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもこのテムプル騎士団が買えればこの闘争委員は広い fact2: あの見える化は広い fact3: もしとある物が広くなくておまけにそれが買えないとしたらあの見える化は売り難い fact4: もしもあのタイムズ社が装飾品であるとしたらこのテムプル騎士団は台選びである fact5: なんらかのものは広くない fact6: 「仮にこのテムプル騎士団が台選びならばこの闘争委員は広くなくて加えて買えない」ということは正しい fact7: なんらかのものが広くなくて更に装飾品だということはないとするとあのタイムズ社は台選びだ fact8: この闘争委員は広くない ; $hypothesis$ = もし仮にあのタイムズ社が装飾品ならあの見える化は売り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのタイムズ社は装飾品である; fact4 & assump1 -> int1: このテムプル騎士団は台選びだ; int1 & fact6 -> int2: この闘争委員は広くないし加えて買えるということはない; int2 -> int3: 「広くないし買えない」ものはある; int3 & fact3 -> int4: あの見える化は売り難い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもこのテムプル騎士団が買えればこの闘争委員は広い
事実2: あの見える化は広い
事実3: もしとある物が広くなくておまけにそれが買えないとしたらあの見える化は売り難い
事実4: もしもあのタイムズ社が装飾品であるとしたらこのテムプル騎士団は台選びである
事実5: なんらかのものは広くない
事実6: 「仮にこのテムプル騎士団が台選びならばこの闘争委員は広くなくて加えて買えない」ということは正しい
事実7: なんらかのものが広くなくて更に装飾品だということはないとするとあのタイムズ社は台選びだ
事実8: この闘争委員は広くない

仮説: もし仮にあのタイムズ社が装飾品ならあの見える化は売り難い
1. 仮定1: 以下のように仮定する。あのタイムズ社は装飾品である
2. 事実4と仮定1から、推論1: "このテムプル騎士団は台選びだ"が導かれる
3. 推論1と事実6から、推論2: "この闘争委員は広くないし加えて買えるということはない"が導かれる
4. 推論2から、推論3: "「広くないし買えない」ものはある"が導かれる
5. 推論3と事実3から、推論4: "あの見える化は売り難い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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