あの床高はコロラトゥーラであるし招集出来る
fact1: あの決定根拠は招集出来る fact2: この二千年以降は来店するけど御預けるということはない fact3: その配管工事は暑い fact4: 仮に何かは構造的パターンでないとすれば「コロラトゥーラであるしそれは招集出来る」ということは本当でない fact5: もしもこの二千年以降が招集出来るとしたらあの床高は暑い一方で招集出来るということはない fact6: あの床高は招集出来る fact7: もし仮にその態度・行動は危ういとすれば「この二千年以降は危うくない」ということは正しい fact8: この二千年以降は構造的パターンである fact9: その態度・行動は構造的パターンだ fact10: この二千年以降は危うくない fact11: この二千年以降が暑いけれど危ういということはないとすればあの床高は起こり難い fact12: もし仮にこの二千年以降が暑いならば起こり難い fact13: そのピラーはこっ酷いしそれは暑い fact14: もしその態度・行動が危ういならこの二千年以降は暑いけどそれは危うくない fact15: あのテレビ受像器は起こり難い fact16: この二千年以降は起こり難い fact17: もし仮にあの床高がコロラトゥーラであるならその態度・行動は構造的パターンだがコロラトゥーラでない fact18: もしも「あの床高は起こり難い」ということは真実ならばコロラトゥーラだ fact19: その態度・行動は構造的パターンであるしおまけに危うい fact20: あの床高が暑いとすると招集出来る fact21: あの床高が暑いとするとこの二千年以降はコロラトゥーラだ一方で暑くない fact22: あの端々は招集出来る fact23: その態度・行動は決議要件であるしかつ構造的パターンである fact24: もしもこの二千年以降が暑いしさらに危ういとしたらあの床高は起こり難い
fact19 -> int1: 「その態度・行動は危うい」ということは確かである; int1 & fact14 -> int2: この二千年以降は暑いが危うくない; int2 & fact11 -> int3: あの床高は起こり難い; int3 & fact18 -> int4: あの床高はコロラトゥーラである; int4 & fact6 -> hypothesis;
「あの床高はコロラトゥーラでまた招集出来る」ということは偽である
fact25 -> int5: 仮にあの床高は構造的パターンでないとすると「それはコロラトゥーラでそれは招集出来る」ということは誤りである;
$facts$ = fact1: あの決定根拠は招集出来る fact2: この二千年以降は来店するけど御預けるということはない fact3: その配管工事は暑い fact4: 仮に何かは構造的パターンでないとすれば「コロラトゥーラであるしそれは招集出来る」ということは本当でない fact5: もしもこの二千年以降が招集出来るとしたらあの床高は暑い一方で招集出来るということはない fact6: あの床高は招集出来る fact7: もし仮にその態度・行動は危ういとすれば「この二千年以降は危うくない」ということは正しい fact8: この二千年以降は構造的パターンである fact9: その態度・行動は構造的パターンだ fact10: この二千年以降は危うくない fact11: この二千年以降が暑いけれど危ういということはないとすればあの床高は起こり難い fact12: もし仮にこの二千年以降が暑いならば起こり難い fact13: そのピラーはこっ酷いしそれは暑い fact14: もしその態度・行動が危ういならこの二千年以降は暑いけどそれは危うくない fact15: あのテレビ受像器は起こり難い fact16: この二千年以降は起こり難い fact17: もし仮にあの床高がコロラトゥーラであるならその態度・行動は構造的パターンだがコロラトゥーラでない fact18: もしも「あの床高は起こり難い」ということは真実ならばコロラトゥーラだ fact19: その態度・行動は構造的パターンであるしおまけに危うい fact20: あの床高が暑いとすると招集出来る fact21: あの床高が暑いとするとこの二千年以降はコロラトゥーラだ一方で暑くない fact22: あの端々は招集出来る fact23: その態度・行動は決議要件であるしかつ構造的パターンである fact24: もしもこの二千年以降が暑いしさらに危ういとしたらあの床高は起こり難い ; $hypothesis$ = あの床高はコロラトゥーラであるし招集出来る ; $proof$ = 
fact19 -> int1: 「その態度・行動は危うい」ということは確かである; int1 & fact14 -> int2: この二千年以降は暑いが危うくない; int2 & fact11 -> int3: あの床高は起こり難い; int3 & fact18 -> int4: あの床高はコロラトゥーラである; int4 & fact6 -> hypothesis; __PROVED__
事実1: あの決定根拠は招集出来る
事実2: この二千年以降は来店するけど御預けるということはない
事実3: その配管工事は暑い
事実4: 仮に何かは構造的パターンでないとすれば「コロラトゥーラであるしそれは招集出来る」ということは本当でない
事実5: もしもこの二千年以降が招集出来るとしたらあの床高は暑い一方で招集出来るということはない
事実6: あの床高は招集出来る
事実7: もし仮にその態度・行動は危ういとすれば「この二千年以降は危うくない」ということは正しい
事実8: この二千年以降は構造的パターンである
事実9: その態度・行動は構造的パターンだ
事実10: この二千年以降は危うくない
事実11: この二千年以降が暑いけれど危ういということはないとすればあの床高は起こり難い
事実12: もし仮にこの二千年以降が暑いならば起こり難い
事実13: そのピラーはこっ酷いしそれは暑い
事実14: もしその態度・行動が危ういならこの二千年以降は暑いけどそれは危うくない
事実15: あのテレビ受像器は起こり難い
事実16: この二千年以降は起こり難い
事実17: もし仮にあの床高がコロラトゥーラであるならその態度・行動は構造的パターンだがコロラトゥーラでない
事実18: もしも「あの床高は起こり難い」ということは真実ならばコロラトゥーラだ
事実19: その態度・行動は構造的パターンであるしおまけに危うい
事実20: あの床高が暑いとすると招集出来る
事実21: あの床高が暑いとするとこの二千年以降はコロラトゥーラだ一方で暑くない
事実22: あの端々は招集出来る
事実23: その態度・行動は決議要件であるしかつ構造的パターンである
事実24: もしもこの二千年以降が暑いしさらに危ういとしたらあの床高は起こり難い

仮説: あの床高はコロラトゥーラであるし招集出来る
1. 事実19から、推論1: "「その態度・行動は危うい」ということは確かである"が導かれる
2. 推論1と事実14から、推論2: "この二千年以降は暑いが危うくない"が導かれる
3. 推論2と事実11から、推論3: "あの床高は起こり難い"が導かれる
4. 推論3と事実18から、推論4: "あの床高はコロラトゥーラである"が導かれる
5. 推論4と事実6から、仮説が導かれる

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