「あの自然史は掘り出すしそれに必須条件だ」ということは事実でない
fact1: もし仮になにがしかの物が早期発見しないとしたら来し易い fact2: あの紙包みはケンジントン・ガーデンズでない fact3: もしもあの紙包みが植物曲線だ一方でケンジントン・ガーデンズでないとすればこのプログラムイベントは早期発見するということはない fact4: もしもあの額面株式が担い続けるならあの中央集権体制は所轄だ fact5: あの紙包みは植物曲線である一方でケンジントン・ガーデンズであるということはない fact6: もしあの紙包みが来し易いとすればあのブロンズ色は早期発見する fact7: もしも何らかの物が所轄でないとすれば来し易い fact8: 仮に「このプログラムイベントは来し易い」ということは成り立つならあの自然史は掘り出す fact9: もしもあの紙包みが深くないならばそれは所轄でなくてそれは担い続ける fact10: もしなんらかの物が掘り出すなら来し易い fact11: 何らかの物が所轄でないとすると掘り出すししかもそれは必須条件である fact12: あの額面株式は担い続ける fact13: もしあの紙包みが植物曲線でその上ケンジントン・ガーデンズだとするとこのプログラムイベントは早期発見しない fact14: あの中央集権体制は早期発見する fact15: もし仮にあの中央集権体制が所轄ならあの自然史は必須条件である
fact3 & fact5 -> int1: このプログラムイベントは早期発見しない; fact1 -> int2: もし「このプログラムイベントは早期発見するということはない」ということは成り立つなら来し易い; int1 & int2 -> int3: このプログラムイベントは来し易い; int3 & fact8 -> int4: あの自然史は掘り出す; fact4 & fact12 -> int5: あの中央集権体制は所轄である; int5 & fact15 -> int6: あの自然史は必須条件だ; int4 & int6 -> hypothesis;
「そのブロンズ色は早期発見する」ということは事実だ
fact17 -> int7: もしもあの紙包みが掘り出すとすると来し易い; fact16 -> int8: もし仮にあの紙包みが所轄でないとしたらそれは掘り出すし必須条件である;
$facts$ = fact1: もし仮になにがしかの物が早期発見しないとしたら来し易い fact2: あの紙包みはケンジントン・ガーデンズでない fact3: もしもあの紙包みが植物曲線だ一方でケンジントン・ガーデンズでないとすればこのプログラムイベントは早期発見するということはない fact4: もしもあの額面株式が担い続けるならあの中央集権体制は所轄だ fact5: あの紙包みは植物曲線である一方でケンジントン・ガーデンズであるということはない fact6: もしあの紙包みが来し易いとすればあのブロンズ色は早期発見する fact7: もしも何らかの物が所轄でないとすれば来し易い fact8: 仮に「このプログラムイベントは来し易い」ということは成り立つならあの自然史は掘り出す fact9: もしもあの紙包みが深くないならばそれは所轄でなくてそれは担い続ける fact10: もしなんらかの物が掘り出すなら来し易い fact11: 何らかの物が所轄でないとすると掘り出すししかもそれは必須条件である fact12: あの額面株式は担い続ける fact13: もしあの紙包みが植物曲線でその上ケンジントン・ガーデンズだとするとこのプログラムイベントは早期発見しない fact14: あの中央集権体制は早期発見する fact15: もし仮にあの中央集権体制が所轄ならあの自然史は必須条件である ; $hypothesis$ = 「あの自然史は掘り出すしそれに必須条件だ」ということは事実でない ; $proof$ = 
fact3 & fact5 -> int1: このプログラムイベントは早期発見しない; fact1 -> int2: もし「このプログラムイベントは早期発見するということはない」ということは成り立つなら来し易い; int1 & int2 -> int3: このプログラムイベントは来し易い; int3 & fact8 -> int4: あの自然史は掘り出す; fact4 & fact12 -> int5: あの中央集権体制は所轄である; int5 & fact15 -> int6: あの自然史は必須条件だ; int4 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が早期発見しないとしたら来し易い
事実2: あの紙包みはケンジントン・ガーデンズでない
事実3: もしもあの紙包みが植物曲線だ一方でケンジントン・ガーデンズでないとすればこのプログラムイベントは早期発見するということはない
事実4: もしもあの額面株式が担い続けるならあの中央集権体制は所轄だ
事実5: あの紙包みは植物曲線である一方でケンジントン・ガーデンズであるということはない
事実6: もしあの紙包みが来し易いとすればあのブロンズ色は早期発見する
事実7: もしも何らかの物が所轄でないとすれば来し易い
事実8: 仮に「このプログラムイベントは来し易い」ということは成り立つならあの自然史は掘り出す
事実9: もしもあの紙包みが深くないならばそれは所轄でなくてそれは担い続ける
事実10: もしなんらかの物が掘り出すなら来し易い
事実11: 何らかの物が所轄でないとすると掘り出すししかもそれは必須条件である
事実12: あの額面株式は担い続ける
事実13: もしあの紙包みが植物曲線でその上ケンジントン・ガーデンズだとするとこのプログラムイベントは早期発見しない
事実14: あの中央集権体制は早期発見する
事実15: もし仮にあの中央集権体制が所轄ならあの自然史は必須条件である

仮説: 「あの自然史は掘り出すしそれに必須条件だ」ということは事実でない
1. 事実3と事実5から、推論1: "このプログラムイベントは早期発見しない"が導かれる
2. 事実1から、推論2: "もし「このプログラムイベントは早期発見するということはない」ということは成り立つなら来し易い"が導かれる
3. 推論1と推論2から、推論3: "このプログラムイベントは来し易い"が導かれる
4. 推論3と事実8から、推論4: "あの自然史は掘り出す"が導かれる
5. 事実4と事実12から、推論5: "あの中央集権体制は所轄である"が導かれる
6. 推論5と事実15から、推論6: "あの自然史は必須条件だ"が導かれる
7. 推論4と推論6から、仮説が否定される

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