あのＥ＊トレード証券は提案出来る
fact1: やんごとない物は提案出来る fact2: あのＥ＊トレード証券は雄々しい fact3: もしも「そのＺ方向は南方系である一方で歓迎しない」ということは成り立たないとしたら歓迎する fact4: もしもあのＥ＊トレード証券が雄々しいとするとそれはジョギングである fact5: もしあのＥ＊トレード証券が心地良いとしたら蓮華躑躅だ fact6: あのＥ＊トレード証券がジョギングだしまたそれが忠告するとすればそれは提案出来ない fact7: そのグラフオプションはエクスポートし為さるし加えて提案出来る fact8: その魚群予告が提案出来るとすればあのＥ＊トレード証券は雄々しいけど忠告しない fact9: 「あの小脳型は提案出来る」ということは確かである fact10: 「あのＥ＊トレード証券はアジェでおまけに忠告する」ということは本当でない fact11: その魚群予告は根深い fact12: もしあのＥ＊トレード証券はアジェだしさらに引き出し易いとしたら「分枝でない」ということは真実だ fact13: 仮に「あのＥ＊トレード証券はアジェである一方で忠告しない」ということは間違いであるなら忠告する fact14: 「あのＥ＊トレード証券はアジェだけれど忠告しない」ということは成り立つということはない fact15: もしその車両等が情け深くて加えて忠告するとすると「生き易くない」ということは成り立つ fact16: あのＥ＊トレード証券は御する fact17: 仮に根深いものはアジェでないならばそれはやんごとない fact18: あのＥ＊トレード証券は情け深くない fact19: そのキッカーは雄々しい fact20: 「あのＥ＊トレード証券は御し易くてさらに暮らし易い」ということは間違っている
fact4 & fact2 -> int1: あのＥ＊トレード証券はジョギングだ; fact13 & fact14 -> int2: あのＥ＊トレード証券は忠告する; int1 & int2 -> int3: あのＥ＊トレード証券はジョギングであるし忠告する; int3 & fact6 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; fact13 & fact14 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact6 -> hypothesis;
このネット経由はジョギングだ
fact22 -> int4: 仮にその魚群予告がやんごとないならば提案出来る; fact21 -> int5: もしもその魚群予告が根深いがしかしそれがアジェでないとすればそれはやんごとない;
$facts$ = fact1: やんごとない物は提案出来る fact2: あのＥ＊トレード証券は雄々しい fact3: もしも「そのＺ方向は南方系である一方で歓迎しない」ということは成り立たないとしたら歓迎する fact4: もしもあのＥ＊トレード証券が雄々しいとするとそれはジョギングである fact5: もしあのＥ＊トレード証券が心地良いとしたら蓮華躑躅だ fact6: あのＥ＊トレード証券がジョギングだしまたそれが忠告するとすればそれは提案出来ない fact7: そのグラフオプションはエクスポートし為さるし加えて提案出来る fact8: その魚群予告が提案出来るとすればあのＥ＊トレード証券は雄々しいけど忠告しない fact9: 「あの小脳型は提案出来る」ということは確かである fact10: 「あのＥ＊トレード証券はアジェでおまけに忠告する」ということは本当でない fact11: その魚群予告は根深い fact12: もしあのＥ＊トレード証券はアジェだしさらに引き出し易いとしたら「分枝でない」ということは真実だ fact13: 仮に「あのＥ＊トレード証券はアジェである一方で忠告しない」ということは間違いであるなら忠告する fact14: 「あのＥ＊トレード証券はアジェだけれど忠告しない」ということは成り立つということはない fact15: もしその車両等が情け深くて加えて忠告するとすると「生き易くない」ということは成り立つ fact16: あのＥ＊トレード証券は御する fact17: 仮に根深いものはアジェでないならばそれはやんごとない fact18: あのＥ＊トレード証券は情け深くない fact19: そのキッカーは雄々しい fact20: 「あのＥ＊トレード証券は御し易くてさらに暮らし易い」ということは間違っている ; $hypothesis$ = あのＥ＊トレード証券は提案出来る ; $proof$ = 
fact4 & fact2 -> int1: あのＥ＊トレード証券はジョギングだ; fact13 & fact14 -> int2: あのＥ＊トレード証券は忠告する; int1 & int2 -> int3: あのＥ＊トレード証券はジョギングであるし忠告する; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: やんごとない物は提案出来る
事実2: あのＥ＊トレード証券は雄々しい
事実3: もしも「そのＺ方向は南方系である一方で歓迎しない」ということは成り立たないとしたら歓迎する
事実4: もしもあのＥ＊トレード証券が雄々しいとするとそれはジョギングである
事実5: もしあのＥ＊トレード証券が心地良いとしたら蓮華躑躅だ
事実6: あのＥ＊トレード証券がジョギングだしまたそれが忠告するとすればそれは提案出来ない
事実7: そのグラフオプションはエクスポートし為さるし加えて提案出来る
事実8: その魚群予告が提案出来るとすればあのＥ＊トレード証券は雄々しいけど忠告しない
事実9: 「あの小脳型は提案出来る」ということは確かである
事実10: 「あのＥ＊トレード証券はアジェでおまけに忠告する」ということは本当でない
事実11: その魚群予告は根深い
事実12: もしあのＥ＊トレード証券はアジェだしさらに引き出し易いとしたら「分枝でない」ということは真実だ
事実13: 仮に「あのＥ＊トレード証券はアジェである一方で忠告しない」ということは間違いであるなら忠告する
事実14: 「あのＥ＊トレード証券はアジェだけれど忠告しない」ということは成り立つということはない
事実15: もしその車両等が情け深くて加えて忠告するとすると「生き易くない」ということは成り立つ
事実16: あのＥ＊トレード証券は御する
事実17: 仮に根深いものはアジェでないならばそれはやんごとない
事実18: あのＥ＊トレード証券は情け深くない
事実19: そのキッカーは雄々しい
事実20: 「あのＥ＊トレード証券は御し易くてさらに暮らし易い」ということは間違っている

仮説: あのＥ＊トレード証券は提案出来る
1. 事実4と事実2から、推論1: "あのＥ＊トレード証券はジョギングだ"が導かれる
2. 事実13と事実14から、推論2: "あのＥ＊トレード証券は忠告する"が導かれる
3. 推論1と推論2から、推論3: "あのＥ＊トレード証券はジョギングであるし忠告する"が導かれる
4. 推論3と事実6から、仮説が否定される

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