そのＤＱは自然らしい
fact1: そのＤＱが忍び込むとすればあのＴＥＤＩは冷たくないけれど第四十五回大会要旨集である fact2: もし仮にそのＴＥＤＩが欲しいとすればそれは発揮し難い fact3: もし仮になにかは大一番でないとすれば「冷たくておまけに第四十五回大会要旨集だ」ということは成り立たない fact4: もし「何かは冷たくて第四十五回大会要旨集だ」ということは間違っているとすればそれは自然らしくない fact5: もし仮に「そのＴＥＤＩは東風戦だし面白おかしい」ということは確かであるならば決行しない fact6: 「発揮し難い物は面白おかしい」ということは正しい fact7: 「医用画像でなくて塩辛くない」物はある fact8: そのＤＱは医用画像でない fact9: もし仮にそのＴＥＤＩが切り過ぎるとしたらそれは東風戦だ fact10: そのＴＥＤＩは切り過ぎる fact11: もしもそのＴＥＤＩは第四十五回大会要旨集であるとすれば「この鵯は大一番でない」ということは事実だ fact12: もし何らかの物が医用画像でなくてそれに塩辛くないとするとこの鵯は大一番である fact13: 仮にそのＤＱが自然らしくないとしたらそれは憎たらしいし忍び込む fact14: この鵯は狡賢くないけれどブルー系だ fact15: もし何らかのものが決行しないとすると塩辛いしその上医用画像だ fact16: そのＴＥＤＩが塩辛いとするとそのＤＱは大一番でない fact17: ある物は医用画像でないけれど塩辛い
void -> assump1: 以下のように仮定する。そのＤＱは自然らしいということはない; fact13 & assump1 -> int1: そのＤＱは憎たらしくて忍び込む; int1 -> int2: そのＤＱは忍び込む; int2 & fact1 -> int3: そのＴＥＤＩは冷たいということはない一方でそれは第四十五回大会要旨集だ; int3 -> int4: そのＴＥＤＩは第四十五回大会要旨集だ; int4 & fact11 -> int5: この鵯は大一番でない; fact7 & fact12 -> int6: この鵯は大一番である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
そのＤＱは自然らしくない
fact23 -> int8: もし仮に「「そのＤＱは冷たいしその上第四十五回大会要旨集だ」ということは成り立つ」ということは正しくないとしたらそれは自然らしくない; fact22 -> int9: もしもそのＤＱは大一番でないとすれば「それは冷たくて第四十五回大会要旨集だ」ということは嘘だ; fact24 -> int10: もしもそのＴＥＤＩが決行しないとすればそれが塩辛いしその上それは医用画像だ; fact26 & fact20 -> int11: そのＴＥＤＩは東風戦である; fact21 -> int12: 仮にそのＴＥＤＩが発揮し難いとすれば面白おかしい;
$facts$ = fact1: そのＤＱが忍び込むとすればあのＴＥＤＩは冷たくないけれど第四十五回大会要旨集である fact2: もし仮にそのＴＥＤＩが欲しいとすればそれは発揮し難い fact3: もし仮になにかは大一番でないとすれば「冷たくておまけに第四十五回大会要旨集だ」ということは成り立たない fact4: もし「何かは冷たくて第四十五回大会要旨集だ」ということは間違っているとすればそれは自然らしくない fact5: もし仮に「そのＴＥＤＩは東風戦だし面白おかしい」ということは確かであるならば決行しない fact6: 「発揮し難い物は面白おかしい」ということは正しい fact7: 「医用画像でなくて塩辛くない」物はある fact8: そのＤＱは医用画像でない fact9: もし仮にそのＴＥＤＩが切り過ぎるとしたらそれは東風戦だ fact10: そのＴＥＤＩは切り過ぎる fact11: もしもそのＴＥＤＩは第四十五回大会要旨集であるとすれば「この鵯は大一番でない」ということは事実だ fact12: もし何らかの物が医用画像でなくてそれに塩辛くないとするとこの鵯は大一番である fact13: 仮にそのＤＱが自然らしくないとしたらそれは憎たらしいし忍び込む fact14: この鵯は狡賢くないけれどブルー系だ fact15: もし何らかのものが決行しないとすると塩辛いしその上医用画像だ fact16: そのＴＥＤＩが塩辛いとするとそのＤＱは大一番でない fact17: ある物は医用画像でないけれど塩辛い ; $hypothesis$ = そのＤＱは自然らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＤＱは自然らしいということはない; fact13 & assump1 -> int1: そのＤＱは憎たらしくて忍び込む; int1 -> int2: そのＤＱは忍び込む; int2 & fact1 -> int3: そのＴＥＤＩは冷たいということはない一方でそれは第四十五回大会要旨集だ; int3 -> int4: そのＴＥＤＩは第四十五回大会要旨集だ; int4 & fact11 -> int5: この鵯は大一番でない; fact7 & fact12 -> int6: この鵯は大一番である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: そのＤＱが忍び込むとすればあのＴＥＤＩは冷たくないけれど第四十五回大会要旨集である
事実2: もし仮にそのＴＥＤＩが欲しいとすればそれは発揮し難い
事実3: もし仮になにかは大一番でないとすれば「冷たくておまけに第四十五回大会要旨集だ」ということは成り立たない
事実4: もし「何かは冷たくて第四十五回大会要旨集だ」ということは間違っているとすればそれは自然らしくない
事実5: もし仮に「そのＴＥＤＩは東風戦だし面白おかしい」ということは確かであるならば決行しない
事実6: 「発揮し難い物は面白おかしい」ということは正しい
事実7: 「医用画像でなくて塩辛くない」物はある
事実8: そのＤＱは医用画像でない
事実9: もし仮にそのＴＥＤＩが切り過ぎるとしたらそれは東風戦だ
事実10: そのＴＥＤＩは切り過ぎる
事実11: もしもそのＴＥＤＩは第四十五回大会要旨集であるとすれば「この鵯は大一番でない」ということは事実だ
事実12: もし何らかの物が医用画像でなくてそれに塩辛くないとするとこの鵯は大一番である
事実13: 仮にそのＤＱが自然らしくないとしたらそれは憎たらしいし忍び込む
事実14: この鵯は狡賢くないけれどブルー系だ
事実15: もし何らかのものが決行しないとすると塩辛いしその上医用画像だ
事実16: そのＴＥＤＩが塩辛いとするとそのＤＱは大一番でない
事実17: ある物は医用画像でないけれど塩辛い

仮説: そのＤＱは自然らしい
1. 仮定1: 以下のように仮定する。そのＤＱは自然らしいということはない
2. 事実13と仮定1から、推論1: "そのＤＱは憎たらしくて忍び込む"が導かれる
3. 推論1から、推論2: "そのＤＱは忍び込む"が導かれる
4. 推論2と事実1から、推論3: "そのＴＥＤＩは冷たいということはない一方でそれは第四十五回大会要旨集だ"が導かれる
5. 推論3から、推論4: "そのＴＥＤＩは第四十五回大会要旨集だ"が導かれる
6. 推論4と事実11から、推論5: "この鵯は大一番でない"が導かれる
7. 事実7と事実12から、推論6: "この鵯は大一番である"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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