その飛来・落下は指定団体である
fact1: もし仮にあるものはリスト‐Ａでないならばそれは大同元年でしかもキャッチボールする fact2: 「祭祀する」物はある fact3: そのハンドルネームがＤＥＣでないとすればあの飛来・落下は指定団体でない fact4: もしもなんらかのものが祭祀するし加えて覚え易いならばあのハンドルネームはＤＥＣでない fact5: もし仮にそのハンドルネームがスポーツマンらしくないとすればその飛来・落下は覚え易くておまけにＤＥＣである fact6: もしあの発生時点はキャッチボールするとしたら「「その飛来・落下はアメリカらしくないしそれにむさくない」ということは正しい」ということは偽である fact7: もし仮に「何らかの物はアメリカらしくないし加えてむさくない」ということは誤りだとしたら「スポーツマンらしくない」ということは事実である fact8: 「覚え易い」ものはある fact9: もしもそのハンドルネームが祭祀しないかＤＥＣでないかどちらもならそのＩＴＶは祭祀しない fact10: スポーツマンらしくない物は指定団体であるしおまけに覚え易い fact11: 何らかの物は祭祀するし加えて覚え易い fact12: 仮にその飛来・落下が覚え易いとしたらそのハンドルネームは祭祀しないかＤＥＣであるということはない
fact11 & fact4 -> int1: 「そのハンドルネームはＤＥＣでない」ということは本当だ; int1 & fact3 -> hypothesis;
fact11 & fact4 -> int1: ¬{C}{a}; int1 & fact3 -> hypothesis;
その飛来・落下は指定団体である
$facts$ = fact1: もし仮にあるものはリスト‐Ａでないならばそれは大同元年でしかもキャッチボールする fact2: 「祭祀する」物はある fact3: そのハンドルネームがＤＥＣでないとすればあの飛来・落下は指定団体でない fact4: もしもなんらかのものが祭祀するし加えて覚え易いならばあのハンドルネームはＤＥＣでない fact5: もし仮にそのハンドルネームがスポーツマンらしくないとすればその飛来・落下は覚え易くておまけにＤＥＣである fact6: もしあの発生時点はキャッチボールするとしたら「「その飛来・落下はアメリカらしくないしそれにむさくない」ということは正しい」ということは偽である fact7: もし仮に「何らかの物はアメリカらしくないし加えてむさくない」ということは誤りだとしたら「スポーツマンらしくない」ということは事実である fact8: 「覚え易い」ものはある fact9: もしもそのハンドルネームが祭祀しないかＤＥＣでないかどちらもならそのＩＴＶは祭祀しない fact10: スポーツマンらしくない物は指定団体であるしおまけに覚え易い fact11: 何らかの物は祭祀するし加えて覚え易い fact12: 仮にその飛来・落下が覚え易いとしたらそのハンドルネームは祭祀しないかＤＥＣであるということはない ; $hypothesis$ = その飛来・落下は指定団体である ; $proof$ = 
fact11 & fact4 -> int1: 「そのハンドルネームはＤＥＣでない」ということは本当だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものはリスト‐Ａでないならばそれは大同元年でしかもキャッチボールする
事実2: 「祭祀する」物はある
事実3: そのハンドルネームがＤＥＣでないとすればあの飛来・落下は指定団体でない
事実4: もしもなんらかのものが祭祀するし加えて覚え易いならばあのハンドルネームはＤＥＣでない
事実5: もし仮にそのハンドルネームがスポーツマンらしくないとすればその飛来・落下は覚え易くておまけにＤＥＣである
事実6: もしあの発生時点はキャッチボールするとしたら「「その飛来・落下はアメリカらしくないしそれにむさくない」ということは正しい」ということは偽である
事実7: もし仮に「何らかの物はアメリカらしくないし加えてむさくない」ということは誤りだとしたら「スポーツマンらしくない」ということは事実である
事実8: 「覚え易い」ものはある
事実9: もしもそのハンドルネームが祭祀しないかＤＥＣでないかどちらもならそのＩＴＶは祭祀しない
事実10: スポーツマンらしくない物は指定団体であるしおまけに覚え易い
事実11: 何らかの物は祭祀するし加えて覚え易い
事実12: 仮にその飛来・落下が覚え易いとしたらそのハンドルネームは祭祀しないかＤＥＣであるということはない

仮説: その飛来・落下は指定団体である
1. 事実11と事実4から、推論1: "「そのハンドルネームはＤＥＣでない」ということは本当だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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