このクリスマスプレゼントは各班だということはない
fact1: 「何かは早しない」ということは事実だとしたらそれは見境無いしおまけに現われ難い fact2: もしなにかは描き易いということはないとしたら「それは夫婦らしいしその上各班である」ということは偽である fact3: 「早ししまた各班である」ものはある fact4: 何らかのものが夫婦らしいし更に各班ならこのアメリカ子会社は早し fact5: このアメリカ子会社は夫婦らしい fact6: 早しものはある fact7: もし仮になにがしかの物が早ししその上夫婦らしいとすればこのクリスマスプレゼントは各班である fact8: このアメリカ子会社は早し fact9: このアメリカ子会社は打ち易い fact10: 仮に何らかのものは描き易いとしたら「夫婦らしいしさらにそれは早しない」ということは嘘である
fact8 & fact5 -> int1: このアメリカ子会社は早しし加えてそれは夫婦らしい; int1 -> int2: とあるものは早しし夫婦らしい; int2 & fact7 -> hypothesis;
「何かは見境無いしさらに現われ難い」ということは事実である
fact12 -> int3: もしこのアメリカ子会社が早しないならそれは見境無いししかも現われ難い; fact11 -> int4: もしこのクリスマスプレゼントは描き易くないとしたら「夫婦らしいしまた各班だ」ということは成り立たない;
$facts$ = fact1: 「何かは早しない」ということは事実だとしたらそれは見境無いしおまけに現われ難い fact2: もしなにかは描き易いということはないとしたら「それは夫婦らしいしその上各班である」ということは偽である fact3: 「早ししまた各班である」ものはある fact4: 何らかのものが夫婦らしいし更に各班ならこのアメリカ子会社は早し fact5: このアメリカ子会社は夫婦らしい fact6: 早しものはある fact7: もし仮になにがしかの物が早ししその上夫婦らしいとすればこのクリスマスプレゼントは各班である fact8: このアメリカ子会社は早し fact9: このアメリカ子会社は打ち易い fact10: 仮に何らかのものは描き易いとしたら「夫婦らしいしさらにそれは早しない」ということは嘘である ; $hypothesis$ = このクリスマスプレゼントは各班だということはない ; $proof$ = 
fact8 & fact5 -> int1: このアメリカ子会社は早しし加えてそれは夫婦らしい; int1 -> int2: とあるものは早しし夫婦らしい; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「何かは早しない」ということは事実だとしたらそれは見境無いしおまけに現われ難い
事実2: もしなにかは描き易いということはないとしたら「それは夫婦らしいしその上各班である」ということは偽である
事実3: 「早ししまた各班である」ものはある
事実4: 何らかのものが夫婦らしいし更に各班ならこのアメリカ子会社は早し
事実5: このアメリカ子会社は夫婦らしい
事実6: 早しものはある
事実7: もし仮になにがしかの物が早ししその上夫婦らしいとすればこのクリスマスプレゼントは各班である
事実8: このアメリカ子会社は早し
事実9: このアメリカ子会社は打ち易い
事実10: 仮に何らかのものは描き易いとしたら「夫婦らしいしさらにそれは早しない」ということは嘘である

仮説: このクリスマスプレゼントは各班だということはない
1. 事実8と事実5から、推論1: "このアメリカ子会社は早しし加えてそれは夫婦らしい"が導かれる
2. 推論1から、推論2: "とあるものは早しし夫婦らしい"が導かれる
3. 推論2と事実7から、仮説が否定される

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