「その項目別は共同行動でないがしかし反撃メールだ」ということは成り立たない
fact1: 見付け易いものは狭窄しない fact2: 作業し易い物は反撃メールでない fact3: あのＡＡＣは作業し易くてそれに位置する fact4: あのＡＡＣは共同行動でない fact5: あの二十クラブは反撃メールだ fact6: もし仮にあのＡＡＣが反撃メールでないとすればあの項目別は共同行動でないけど反撃メールである fact7: 仮にその項目別は反撃メールであるならそれは作業し易いということはない fact8: 「その項目別は位置する」ということは真実である fact9: 「治療目的は罷り向うということはない」ということは確かだ
fact3 -> int1: あのＡＡＣは作業し易い; fact2 -> int2: もしあのＡＡＣが作業し易いとすれば反撃メールでない; int1 & int2 -> int3: あのＡＡＣは反撃メールでない; int3 & fact6 -> hypothesis;
$facts$ = fact1: 見付け易いものは狭窄しない fact2: 作業し易い物は反撃メールでない fact3: あのＡＡＣは作業し易くてそれに位置する fact4: あのＡＡＣは共同行動でない fact5: あの二十クラブは反撃メールだ fact6: もし仮にあのＡＡＣが反撃メールでないとすればあの項目別は共同行動でないけど反撃メールである fact7: 仮にその項目別は反撃メールであるならそれは作業し易いということはない fact8: 「その項目別は位置する」ということは真実である fact9: 「治療目的は罷り向うということはない」ということは確かだ ; $hypothesis$ = 「その項目別は共同行動でないがしかし反撃メールだ」ということは成り立たない ; $proof$ = 
fact3 -> int1: あのＡＡＣは作業し易い; fact2 -> int2: もしあのＡＡＣが作業し易いとすれば反撃メールでない; int1 & int2 -> int3: あのＡＡＣは反撃メールでない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 見付け易いものは狭窄しない
事実2: 作業し易い物は反撃メールでない
事実3: あのＡＡＣは作業し易くてそれに位置する
事実4: あのＡＡＣは共同行動でない
事実5: あの二十クラブは反撃メールだ
事実6: もし仮にあのＡＡＣが反撃メールでないとすればあの項目別は共同行動でないけど反撃メールである
事実7: 仮にその項目別は反撃メールであるならそれは作業し易いということはない
事実8: 「その項目別は位置する」ということは真実である
事実9: 「治療目的は罷り向うということはない」ということは確かだ

仮説: 「その項目別は共同行動でないがしかし反撃メールだ」ということは成り立たない
1. 事実3から、推論1: "あのＡＡＣは作業し易い"が導かれる
2. 事実2から、推論2: "もしあのＡＡＣが作業し易いとすれば反撃メールでない"が導かれる
3. 推論1と推論2から、推論3: "あのＡＡＣは反撃メールでない"が導かれる
4. 推論3と事実6から、仮説が否定される

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