そのＤＶＤプレーヤーはグラデュエートだ
fact1: 仮にそのパイオニア達が傷付けないならば猫ちゃんであるかまたは国際化する fact2: あの馴染み客ははにかむ fact3: もし仮にあの馴染み客が食べ易いということはないとすれば猫ちゃんであるかまたは染まるということはないかあるいはどちらもである fact4: そのＤＶＤプレーヤーは猫ちゃんでない fact5: そのＤＶＤプレーヤーは検討すらない fact6: 「なにがしかの物は猫ちゃんであるかあるいは染まらないかまたはどちらもだ」ということは成り立つとすれば「検討すらない」ということは確かだ fact7: あらゆる物は移り易くないがしかし十五時半である fact8: このジャバオブジェクトは検討す fact9: そのＤＶＤプレーヤーは蓄積され易くないがしかし蝉である fact10: そのＤＶＤプレーヤーはグラデュエートであるということはないとするとそれは欠損部位でない fact11: そのＤＶＤプレーヤーはグラデュエートであるかまたは染まるかもしくは両方である fact12: あの馴染み客は欠損部位である fact13: あの馴染み客は食べ易くない fact14: もし仮にあの馴染み客が知り合いらしくないとしたらそれは染まらない fact15: もし仮に「何かは欠損部位でない一方でそれは検討す」ということは事実ならばグラデュエートでない fact16: あの馴染み客は大別するということはないけれどそれはアルカリイオン水だ fact17: もしもこの静けさが東京本部でないとしたら山彦学校であるかまたは染まるかあるいは両方ともである fact18: あの馴染み客が検討すらない一方で欠損部位ならそのＤＶＤプレーヤーはグラデュエートである fact19: そのインフルエンザ菌は欠損部位だ fact20: あの馴染み客が可視だということはないならば欠損部位であるかまたは堆い fact21: その傷病等は猫ちゃんでない
fact6 -> int1: 仮にあの馴染み客が猫ちゃんであるかもしくはそれは染まらないかもしくはどちらもであるとするとそれは検討すらない; fact13 & fact3 -> int2: あの馴染み客は猫ちゃんであるかもしくは染まらないかもしくは両方ともだ; int1 & int2 -> int3: あの馴染み客は検討すらない; int3 & fact12 -> int4: あの馴染み客は検討すらないけど欠損部位である; int4 & fact18 -> hypothesis;
そのＤＶＤプレーヤーはグラデュエートでない
fact22 -> int5: あの駐在員事務所が欠損部位でないが検討すとすればそれはグラデュエートでない; fact23 -> int6: あの駐在員事務所は移り易くない一方で十五時半だ;
$facts$ = fact1: 仮にそのパイオニア達が傷付けないならば猫ちゃんであるかまたは国際化する fact2: あの馴染み客ははにかむ fact3: もし仮にあの馴染み客が食べ易いということはないとすれば猫ちゃんであるかまたは染まるということはないかあるいはどちらもである fact4: そのＤＶＤプレーヤーは猫ちゃんでない fact5: そのＤＶＤプレーヤーは検討すらない fact6: 「なにがしかの物は猫ちゃんであるかあるいは染まらないかまたはどちらもだ」ということは成り立つとすれば「検討すらない」ということは確かだ fact7: あらゆる物は移り易くないがしかし十五時半である fact8: このジャバオブジェクトは検討す fact9: そのＤＶＤプレーヤーは蓄積され易くないがしかし蝉である fact10: そのＤＶＤプレーヤーはグラデュエートであるということはないとするとそれは欠損部位でない fact11: そのＤＶＤプレーヤーはグラデュエートであるかまたは染まるかもしくは両方である fact12: あの馴染み客は欠損部位である fact13: あの馴染み客は食べ易くない fact14: もし仮にあの馴染み客が知り合いらしくないとしたらそれは染まらない fact15: もし仮に「何かは欠損部位でない一方でそれは検討す」ということは事実ならばグラデュエートでない fact16: あの馴染み客は大別するということはないけれどそれはアルカリイオン水だ fact17: もしもこの静けさが東京本部でないとしたら山彦学校であるかまたは染まるかあるいは両方ともである fact18: あの馴染み客が検討すらない一方で欠損部位ならそのＤＶＤプレーヤーはグラデュエートである fact19: そのインフルエンザ菌は欠損部位だ fact20: あの馴染み客が可視だということはないならば欠損部位であるかまたは堆い fact21: その傷病等は猫ちゃんでない ; $hypothesis$ = そのＤＶＤプレーヤーはグラデュエートだ ; $proof$ = 
fact6 -> int1: 仮にあの馴染み客が猫ちゃんであるかもしくはそれは染まらないかもしくはどちらもであるとするとそれは検討すらない; fact13 & fact3 -> int2: あの馴染み客は猫ちゃんであるかもしくは染まらないかもしくは両方ともだ; int1 & int2 -> int3: あの馴染み客は検討すらない; int3 & fact12 -> int4: あの馴染み客は検討すらないけど欠損部位である; int4 & fact18 -> hypothesis; __PROVED__
事実1: 仮にそのパイオニア達が傷付けないならば猫ちゃんであるかまたは国際化する
事実2: あの馴染み客ははにかむ
事実3: もし仮にあの馴染み客が食べ易いということはないとすれば猫ちゃんであるかまたは染まるということはないかあるいはどちらもである
事実4: そのＤＶＤプレーヤーは猫ちゃんでない
事実5: そのＤＶＤプレーヤーは検討すらない
事実6: 「なにがしかの物は猫ちゃんであるかあるいは染まらないかまたはどちらもだ」ということは成り立つとすれば「検討すらない」ということは確かだ
事実7: あらゆる物は移り易くないがしかし十五時半である
事実8: このジャバオブジェクトは検討す
事実9: そのＤＶＤプレーヤーは蓄積され易くないがしかし蝉である
事実10: そのＤＶＤプレーヤーはグラデュエートであるということはないとするとそれは欠損部位でない
事実11: そのＤＶＤプレーヤーはグラデュエートであるかまたは染まるかもしくは両方である
事実12: あの馴染み客は欠損部位である
事実13: あの馴染み客は食べ易くない
事実14: もし仮にあの馴染み客が知り合いらしくないとしたらそれは染まらない
事実15: もし仮に「何かは欠損部位でない一方でそれは検討す」ということは事実ならばグラデュエートでない
事実16: あの馴染み客は大別するということはないけれどそれはアルカリイオン水だ
事実17: もしもこの静けさが東京本部でないとしたら山彦学校であるかまたは染まるかあるいは両方ともである
事実18: あの馴染み客が検討すらない一方で欠損部位ならそのＤＶＤプレーヤーはグラデュエートである
事実19: そのインフルエンザ菌は欠損部位だ
事実20: あの馴染み客が可視だということはないならば欠損部位であるかまたは堆い
事実21: その傷病等は猫ちゃんでない

仮説: そのＤＶＤプレーヤーはグラデュエートだ
1. 事実6から、推論1: "仮にあの馴染み客が猫ちゃんであるかもしくはそれは染まらないかもしくはどちらもであるとするとそれは検討すらない"が導かれる
2. 事実13と事実3から、推論2: "あの馴染み客は猫ちゃんであるかもしくは染まらないかもしくは両方ともだ"が導かれる
3. 推論1と推論2から、推論3: "あの馴染み客は検討すらない"が導かれる
4. 推論3と事実12から、推論4: "あの馴染み客は検討すらないけど欠損部位である"が導かれる
5. 推論4と事実18から、仮説が導かれる

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